Removed lambda3 + Fixed lambda4

[fireball-separation.git] / ocaml / problems.ml

diff --git a/ocaml/problems.ml b/ocaml/problems.ml
index 6fb7b4369491ab4083601334bb15c9a44ab72c8c..bf1b67a0942bb9093cdf9be4343195269ea72f94 100644 (file)
--- a/ocaml/problems.ml
+++ b/ocaml/problems.ml
@@ -1,7 +1,6 @@
 let use_lambda3 = Array.length Sys.argv = 1;;
 
-let discriminator =
- if use_lambda3 then (module Lambda3 : Discriminator.Discriminator) else (module Lambda4);;
+let discriminator = ( module Lambda4 : Discriminator.Discriminator );;
 module Pippo = (val discriminator);;
 open Pippo;;