[v8.19] fixup fmt after merge

ejgallego · Sep 29, 2024 · 6aba904 · 6aba904
1 parent 5b14156
commit 6aba904
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/coq/workspace.ml b/coq/workspace.ml
@@ -32,13 +32,14 @@ module Flags = struct
     ; rewrite_rules = false
     }
 
-  let apply { impredicative_set; indices_matter; type_in_type; rewrite_rules = _ } =
+  let apply
+      { impredicative_set; indices_matter; type_in_type; rewrite_rules = _ } =
     Global.set_impredicative_set impredicative_set;
     Global.set_indices_matter indices_matter;
     Global.set_check_universes (not type_in_type);
     ()
-    (* V8.20-only *)
-    (* Global.set_rewrite_rules_allowed rewrite_rules *)
+  (* V8.20-only *)
+  (* Global.set_rewrite_rules_allowed rewrite_rules *)
 end
 
 module Warning : sig