poetry

Halbaroth · Sep 22, 2023 · 143bd39 · 143bd39
1 parent 3cbefa3
commit 143bd39
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/lib/frontend/models.mli b/src/lib/frontend/models.mli
@@ -37,6 +37,6 @@ type t = {
   arrays : ModelMap.t;
 }
 
-val output_concrete_model : Format.formatter -> t -> unit
+val output_concrete_model : t Fmt.t
 (** [output_concrete_model ppf mdl] prints the model [mdl] on
     the formatter [ppf]. *)