going back to 1. being a non decimal

diff --git a/src/parser/smt2/Smt2.g b/src/parser/smt2/Smt2.g
index 2b331c58a1f79019fbb43b33ae1ba00d6eb0a87c..84d75ceac1ff23f085ad2a4c0c7de3b1ed28a4f4 100644 (file)
--- a/src/parser/smt2/Smt2.g
+++ b/src/parser/smt2/Smt2.g
@@ -1196,7 +1196,7 @@ fragment NUMERAL
  * Matches a decimal constant from the input.
  */
 DECIMAL_LITERAL
-  : NUMERAL '.' DIGIT*
+  : NUMERAL '.' DIGIT+
   ;
 
 /**