dead code removed

[helm.git] / matita / matita / matitacLib.ml

diff --git a/matita/matita/matitacLib.ml b/matita/matita/matitacLib.ml
index d1962c99d74c6beea27c41990009c3324529546c..b4168ba94ca47fba77bafe84f011cbc9d998bcc2 100644 (file)
--- a/matita/matita/matitacLib.ml
+++ b/matita/matita/matitacLib.ml
@@ -166,8 +166,7 @@ let compile atstart options fname =
     let grafite_status =
      let rec aux_for_dump x grafite_status =
       match
-       MatitaEngine.eval_from_stream ~first_statement_only:false ~include_paths
-        grafite_status buf x
+       MatitaEngine.eval_from_stream ~include_paths grafite_status buf x
       with
       | [] -> grafite_status
       | (g,None)::_ -> g