change csp printing to make it idempotent

mpelleau · Feb 29, 2024 · db5d6de · db5d6de
1 parent 2ffd037
commit db5d6de
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/examples/polygons.ml b/examples/polygons.ml
@@ -68,8 +68,8 @@ let () =
   match int_of_string_opt Sys.argv.(1) with
   | Some nb_points ->
       let csp = build_csp nb_points in
-      Format.printf "%a\n" Csp.print csp
-      (* Csp.to_graphviz csp (Format.sprintf "convex%i.viz" nb_points) *)
+      Format.printf "%a\n" Csp.print csp ;
+      Csp.to_graphviz csp (Format.sprintf "convex%i.viz" nb_points)
   | None ->
       Format.printf "expecting numeric argument %s\n" Sys.argv.(1) ;
       exit 1
diff --git a/lib/lang/csp.ml b/lib/lang/csp.ml
@@ -88,7 +88,7 @@ let pp_typ fmt = function
   | Real -> Format.fprintf fmt "real"
 
 let pp_decl fmt (a, b, c) =
-  Format.fprintf fmt "%a %s in %a" pp_typ a b Dom.print c
+  Format.fprintf fmt "%a %s = %a" pp_typ a b Dom.print c
 
 let pp_declarations = pp_list_sep ";\n" pp_decl