]> matita.cs.unibo.it Git - fireball-separation.git/commitdiff
New problems n1, n2 used to debug the problem with dangerous variables fixed in the...
authoracondolu <andrea.condoluci@unibo.it>
Tue, 11 Jul 2017 11:24:09 +0000 (13:24 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Tue, 11 Jul 2017 11:24:09 +0000 (13:24 +0200)
ocaml/problems.ml

index 445f4ea351856569f28cc228ec48306e549a2ec3..7f6f76ce2c362012e4a4e0e28235737eb92fe644 100644 (file)
@@ -339,5 +339,6 @@ main ([
  m1 ;
  m2 ;
 ] @ [
- n1
+ n1 ;
+ n2
 ]));;