Different approach to recognizing reals

boogie-org · Apr 5, 2024 · 01ca761 · 01ca761
1 parent e2a462c
commit 01ca761
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/Source/Model/Model.cs b/Source/Model/Model.cs
@@ -699,7 +699,6 @@ Element ConstructElement(string name)
         }
 
         var allDigits = new Regex(@"^-?[0-9]*$");
-        var real = new Regex(@"^-?[0-9]+((\.[0-9]+)|((\.[0-9]+)?(e[0-9]+)))$");
         if (allDigits.IsMatch(name))
         {
           if (szi > 0)
@@ -711,7 +710,7 @@ Element ConstructElement(string name)
             return new Integer(this, name);
           }
         }
-        else if (real.IsMatch(name))
+        else if (double.TryParse(name, out var _))
         {
           return new Real(this, name);
         }
@@ -1077,4 +1076,4 @@ public static List<Model> ParseModels(System.IO.TextReader rd, Func<string, stri
       return p.resModels;
     }
   }
-}
+}