remove commented out line

hazelgrove · May 22, 2024 · d21b2c3 · d21b2c3
1 parent 9546f78
commit d21b2c3
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/haz3lcore/dynamics/Elaborator.re b/src/haz3lcore/dynamics/Elaborator.re
@@ -102,7 +102,6 @@ let cast = (ctx: Ctx.t, mode: Mode.t, self_ty: Typ.t, d: DHExp.t) =>
     | BinFloatOp(_)
     | BinStringOp(_)
     | Test(_) => DHExp.cast(d, self_ty, ana_ty)
-    // | Theorem(_, _, _)
     };
   };