X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=ocaml%2Fproblems.ml;h=b49cf7733578832c022cc994b87ccc6599660a3e;hb=79e9bd64d15490dd5abc353cc5b09378d3c640d1;hp=34245f074b5eb38fc1fbf2ae8c595f0a9f6638e0;hpb=52947a60467ebb10cec57ffc1725644ad605c671;p=fireball-separation.git

diff --git a/ocaml/problems.ml b/ocaml/problems.ml
index 34245f0..b49cf77 100644
--- a/ocaml/problems.ml
+++ b/ocaml/problems.ml
@@ -285,7 +285,7 @@ solve_many [
    (* 3 *) "b c d (k. e k) (e e (b (k. l. b)) d (k. d)) (f g (c (e h))) (d b (k. b) (f g (e f))) (c (e h)) (e e (b (k. l. b)) (k. e k)) (k. l. c (k h)) (d b (b c d (k. c (k h))) (b c d (k. e k) (b c))) a";
    (* 4 *) "b c d (k. e k) (e e (b (k. l. b)) d (k. d)) (f g (c (e h))) (d b (k. b) (f g (e f))) (c (e h)) (e e (b (k. l. b)) (k. e k)) (k. b k d (l. e l) (e e (b (l. m. b)) d (l. d)) (f g (k (e h)))) a";
  ];
- (*problem_of
+ problem_of
  (* DISPLAY PROBLEM (main) - measure=561
     Discriminating sets (deltas):
     0 <> 1 <> 2 <> 3 <> 4
@@ -303,7 +303,7 @@ solve_many [
    (* 2 *) "e f (k. k) (g e) (e f (k. e)) (h (k. g e (g e)) (h (k. g e (g e)))) (k. d) a";
    (* 3 *) "e f (k. k) (g e) (e f (k. e)) (h (k. g e (g e)) (h (k. g e (g e)))) (k. d) (k. l. m. c k) a";
    (* 4 *) "g (k. e f g) (k. h c) (b (g e) h (k. c (l. m. m k l))) (k. c b g) (k. e f (l. l) (g e) (e f (l. e))) f a";
- ]*)
+ ]
 ];;
 
 (* This fails *)