From: acondolu <andrea.condoluci@unibo.it>
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
 ]));;