From fea0acb656b4450b5d87c98c65d378f2f298564b Mon Sep 17 00:00:00 2001 From: Pierre Villemot Date: Fri, 21 Apr 2023 09:42:58 +0200 Subject: [PATCH 1/2] Remove non-strict formats --- src/core.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/core.ml b/src/core.ml index 1814f7b..8e340d7 100644 --- 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 = From 0715fdcad716e6e8e37d34190bd69555ec70385b Mon Sep 17 00:00:00 2001 From: Pierre Villemot Date: Fri, 21 Apr 2023 09:43:11 +0200 Subject: [PATCH 2/2] Add _opam directory --- .gitignore | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.gitignore b/.gitignore index d097598..ac81c9a 100644 --- a/.gitignore +++ b/.gitignore @@ -16,4 +16,5 @@ src/coreSig.ml src/extSigs.ml config.log Makefile -META \ No newline at end of file +META +_opam