New problems n1, n2 used to debug the problem with dangerous variables fixed in the...

[fireball-separation.git] / ocaml / problems.ml

diff --git a/ocaml/problems.ml b/ocaml/problems.ml
index 445f4ea351856569f28cc228ec48306e549a2ec3..7f6f76ce2c362012e4a4e0e28235737eb92fe644 100644 (file)
--- a/ocaml/problems.ml
+++ b/ocaml/problems.ml
@@ -339,5 +339,6 @@ main ([
  m1 ;
  m2 ;
 ] @ [
- n1
+ n1 ;
+ n2
 ]));;