From 1bef432e151246cbcd9776da9cef4f0c038d387e Mon Sep 17 00:00:00 2001
From: acondolu <andrea.condoluci@unibo.it>
Date: Tue, 11 Jul 2017 13:24:09 +0200
Subject: [PATCH] New problems n1, n2 used to debug the problem with dangerous
 variables fixed in the last commits

---
 ocaml/problems.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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
 ]));;
-- 
2.39.2