X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=ocaml%2Fproblems.ml;h=7f6f76ce2c362012e4a4e0e28235737eb92fe644;hb=1bef432e151246cbcd9776da9cef4f0c038d387e;hp=445f4ea351856569f28cc228ec48306e549a2ec3;hpb=ba587b3b30282e7ec4638221b4fd9ed66be19a41;p=fireball-separation.git

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