fix indentation

OCamlPro · Oct 9, 2024 · aa653f0 · aa653f0
1 parent 8875768
commit aa653f0
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/lib/structures/modelMap.ml b/src/lib/structures/modelMap.ml
@@ -20,9 +20,9 @@ module X = Shostak.Combine
 module Sy = Symbols
 
 module M: Map.S with type key = Expr.t list = Map.Make
-  (struct
-    type t = Expr.t list [@@deriving ord]
-  end)
+    (struct
+      type t = Expr.t list [@@deriving ord]
+    end)
 
 (* The type of this module represents a model value for a function [f] by a
    finite set of constraints of the form: