X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2FmatitaEngine.ml;fp=matita%2Fmatita%2FmatitaEngine.ml;h=5d16763fc36ad6db0b685937e47e53fdc11e2c5b;hb=98f0fac6d03367be776303e7ba353b75878aaa40;hp=2d0a03b20da91e058f0f522cc7e0ad8fcadf1e65;hpb=6a2985ee4de00c81115d0c008baa6aba05bca6bc;p=helm.git

diff --git a/matita/matita/matitaEngine.ml b/matita/matita/matitaEngine.ml
index 2d0a03b20..5d16763fc 100644
--- a/matita/matita/matitaEngine.ml
+++ b/matita/matita/matitaEngine.ml
@@ -292,7 +292,7 @@ and compile ~compiling ~asserted ~include_paths fname =
       if not (Helm_registry.get_bool "matita.verbose") then (fun _ _ -> ())
       else pp_ast_statement
     in
-    let asserted, times, status =
+    let asserted, status =
      eval_from_stream ~compiling ~asserted ~include_paths status buf print_cb in
     let elapsed = Unix.time () -. time in
      (if Helm_registry.get_bool "matita.moo" then begin