From: acondolu Date: Tue, 11 Jul 2017 11:24:09 +0000 (+0200) Subject: New problems n1, n2 used to debug the problem with dangerous variables fixed in the... X-Git-Tag: weak-reduction-separation~62 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=1bef432e151246cbcd9776da9cef4f0c038d387e;p=fireball-separation.git New problems n1, n2 used to debug the problem with dangerous variables fixed in the last commits --- diff --git a/ocaml/problems.ml b/ocaml/problems.ml index 445f4ea..7f6f76c 100644 --- a/ocaml/problems.ml +++ b/ocaml/problems.ml @@ -339,5 +339,6 @@ main ([ m1 ; m2 ; ] @ [ - n1 + n1 ; + n2 ]));;