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

diff --git a/ocaml/problems.ml b/ocaml/problems.ml
index 6fb7b43..a0ff453 100644
--- a/ocaml/problems.ml
+++ b/ocaml/problems.ml
@@ -1,9 +1,4 @@
-let use_lambda3 = Array.length Sys.argv = 1;;
-
-let discriminator =
- if use_lambda3 then (module Lambda3 : Discriminator.Discriminator) else (module Lambda4);;
-module Pippo = (val discriminator);;
-open Pippo;;
+open Lambda4;;
 
 let p2 = magic [ "x y"; "x z" ; "x (y z)"] ["*"]
 
@@ -293,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 ;