Reenable unit generation

hazelgrove · Dec 16, 2024 · 8288d7a · 8288d7a
1 parent e2f5f72
commit 8288d7a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/haz3lmenhir/AST.re b/src/haz3lmenhir/AST.re
@@ -192,7 +192,7 @@ let arb_exp_sized: QCheck.arbitrary(exp) =
         arb_float,
         arb_var,
         always(~print=show_exp, EmptyHole),
-        // always(~print=show_exp, TupleExp([])), // TODO Seems to be broken
+        always(~print=show_exp, TupleExp([])),
         always(~print=show_exp, ListExp([])),
       ]);