init

hazelgrove · Dec 21, 2023 · ec3a75f · ec3a75f
1 parent 9c1ffab
commit ec3a75f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/haz3lcore/dynamics/DH.re b/src/haz3lcore/dynamics/DH.re
@@ -93,7 +93,7 @@ module rec DHExp: {
     | FailedCast(t, Typ.t, Typ.t)
     | InvalidOperation(t, InvalidOperationError.t)
   and case =
-    | Case(t, list(rule), int)
+    | Case(t, list(rule), int) // TODO
   and rule =
     | Rule(DHPat.t, t);