Merge pull request #18 from Halbaroth/0.4.1

0.4.1
OCamlPro · Apr 21, 2023 · 8c4d597 · 8c4d597
2 parents 9b6cc06 + 0715fdc
commit 8c4d597
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 3 deletions.
diff --git a/.gitignore b/.gitignore
@@ -16,4 +16,5 @@ src/coreSig.ml
 src/extSigs.ml
 config.log
 Makefile
-META
+META
+_opam
diff --git a/src/core.ml b/src/core.ml
@@ -239,7 +239,7 @@ module Make
             let re, im = info.value in
             let comp_status = re_computed_status_of_info info in
             Format.fprintf fmt
-              "%a   [ %a == (%4a , %4a) ]   %a   (computed %s) (flag %s)@."
+              "%a   [ %a == (%a , %a) ]   %a   (computed %s) (flag %s)@."
               print_min_bound info
               Var.print x
               R.print re
@@ -296,7 +296,7 @@ module Make
 
       let print_matrix fmt env =
         MX.iter
-          (fun x (_, p) ->fprintf fmt "%4a = %a@." Var.print x P.print p)
+          (fun x (_, p) ->fprintf fmt "%a = %a@." Var.print x P.print p)
           env.basic
 
         let print result fmt env =