From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Sun, 27 Mar 2011 13:18:36 +0000 (+0000)
Subject: Fixes previous wrong commit.
X-Git-Tag: make_still_working~2541
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=98f0fac6d03367be776303e7ba353b75878aaa40;p=helm.git

Fixes previous wrong commit.
---

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