1 files changed, 1 insertions, 1 deletions
diff --git a/src/parser/smt/smt_lexer.g b/src/parser/smt/smt_lexer.g
index d71edfbc3..695b7b787 100644
--- a/src/parser/smt/smt_lexer.g
+++ b/src/parser/smt/smt_lexer.g
@@ -37,11 +37,11 @@ tokens {
   // Base SMT-LIB tokens
   DISTINCT      = "distinct";
   ITE           = "ite";
+  IF_THEN_ELSE  = "if_then_else";
   TRUE          = "true";
   FALSE         = "false";
   NOT           = "not";
   IMPLIES       = "implies";
-  IF_THEN_ELSE  = "if_then_else";
   AND           = "and";
   OR            = "or";
   XOR           = "xor";