fix(tools/dop/parser_grammar.h): use '=' instead of '=='

dreal · Aug 20, 2015 · d4810ee · d4810ee
1 parent 0775e7c
commit d4810ee
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/tools/dop/parser_grammar.h b/src/tools/dop/parser_grammar.h
@@ -39,7 +39,7 @@ struct str_prec : pegtl::string<'p', 'r', 'e', 'c'> {};
 struct str_var : pegtl::string<'v', 'a', 'r'> {};
 struct str_cost : pegtl::string<'c', 'o', 's', 't'> {};
 struct str_ctr : pegtl::string<'c', 't', 'r'> {};
-struct eq : pegtl::string<'=', '='> {};
+struct eq : pegtl::string<'='> {};
 struct neq : pegtl::string<'!', '='> {};
 struct le : pegtl::string<'<', '='> {};
 struct ge : pegtl::string<'>', '='> {};