Formatting

hazelgrove · Dec 16, 2024 · 3d11a0d · 3d11a0d
1 parent c77d065
commit 3d11a0d
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/src/haz3lmenhir/Conversion.re b/src/haz3lmenhir/Conversion.re
@@ -347,8 +347,7 @@ module rec Exp: {
     | MultiHole(_) => raise(Failure("MultiHole not supported")) // TODO
     | Closure(_) => raise(Failure("Closure not supported")) // TODO
     | Parens(e) => of_core(e)
-    | Constructor(s, typ) =>
-      Constructor(s, Typ.of_core(typ));
+    | Constructor(s, typ) => Constructor(s, Typ.of_core(typ))
     | DeferredAp(e, es) =>
       ApExp(of_core(e), TupleExp(List.map(of_core, es)))
     | Fun(p, e, _, name_opt) => Fun(Pat.of_core(p), of_core(e), name_opt)