From c7272e427dab6dde9fb87e7e4890eac9447f2736 Mon Sep 17 00:00:00 2001 From: Maxime Coste Date: Mon, 8 Oct 2012 19:33:53 +0200 Subject: get rid of Character --- src/command_manager.cc | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'src/command_manager.cc') diff --git a/src/command_manager.cc b/src/command_manager.cc index df23ca6e..b21921da 100644 --- a/src/command_manager.cc +++ b/src/command_manager.cc @@ -63,7 +63,7 @@ private: using TokenList = std::vector; using TokenPosList = std::vector>; -bool is_command_separator(Character c) +bool is_command_separator(char c) { return c == ';' or c == '\n'; } @@ -124,17 +124,17 @@ TokenList parse(const String& line, if (type_name == "opt") type = Token::Type::OptionExpand; - static const std::unordered_map matching_delimiters = { + static const std::unordered_map matching_delimiters = { { '(', ')' }, { '[', ']' }, { '{', '}' }, { '<', '>' } }; - Character opening_delimiter = line[pos]; + char opening_delimiter = line[pos]; token_start = ++pos; auto delim_it = matching_delimiters.find(opening_delimiter); if (delim_it != matching_delimiters.end()) { - Character closing_delimiter = delim_it->second; + char closing_delimiter = delim_it->second; int level = 0; while (pos != length) { -- cgit v1.2.3