Merge branch 'haz3l-case-redundancy' into haz3l-case-advanced-ui

hazelgrove · Oct 22, 2023 · 2615f7c · 2615f7c
2 parents 57b8a76 + ad523c6
commit 2615f7c
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/src/haz3lcore/dynamics/InvalidOperationError.re b/src/haz3lcore/dynamics/InvalidOperationError.re
@@ -5,8 +5,6 @@ type t =
   | DivideByZero
   | NegativeExponent
   | OutOfFuel
-  //  | InvalidIntOfString
-  //  | InvalidFloatOfString
   | InvalidProjection;
 
 let err_msg = (err: t): string =>
@@ -16,7 +14,5 @@ let err_msg = (err: t): string =>
   | DivideByZero => "Error: Divide by Zero"
   | NegativeExponent => "Error: Negative Exponent in Integer Exponentiation (Consider using **.)"
   | OutOfFuel => "Error: Out of Fuel"
-  //  | InvalidIntOfString => "Error: Invalid String to Int Conversion"
-  //  | InvalidFloatOfString => "Error: Invalid String to Float Conversion"
   | InvalidProjection => "Error: Invalid Projection"
   };