X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=ocaml%2Fproblems.ml;h=a0ff4536266a0739e760845589d1a8e643c57a36;hb=edc8a9dacfdf59bc23570756f7d346f9cd28ae6b;hp=bf1b67a0942bb9093cdf9be4343195269ea72f94;hpb=f804e82c47ca8a25f3044ae630988af4b8da7b25;p=fireball-separation.git

diff --git a/ocaml/problems.ml b/ocaml/problems.ml
index bf1b67a..a0ff453 100644
--- a/ocaml/problems.ml
+++ b/ocaml/problems.ml
@@ -1,8 +1,4 @@
-let use_lambda3 = Array.length Sys.argv = 1;;
-
-let discriminator = ( module Lambda4 : Discriminator.Discriminator );;
-module Pippo = (val discriminator);;
-open Pippo;;
+open Lambda4;;
 
 let p2 = magic [ "x y"; "x z" ; "x (y z)"] ["*"]
 
@@ -292,7 +288,7 @@ let m2 () = magic_conv None []
 main ([
  (* p2 ; p4 ; p5 ; p6 ; p7 ; p8 ; p9 ; p10 ; p11 ; p12 ; p13 ; p14 ; p15 ; p16 ; p17 ; p18 ; p19 ; p20 ; p21 ; p22 ; p23 ; p24 ; p25 ; p26 ; p27 ; p28 ; p29 ; p30 ; p31 ; p32 ; p33 ; p34 ; p35 ; p36 ; p37 ; *)
  p24 ; p25 ;
-] @ if use_lambda3 then [] else List.map ((|>) ()) [
+] @ List.map ((|>) ()) [
  q1 ; q2; q3; q4 ; q5 ; q6 ;
  (* q7 ; *)
  q8 ;