From 98f0fac6d03367be776303e7ba353b75878aaa40 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Sun, 27 Mar 2011 13:18:36 +0000
Subject: [PATCH] Fixes previous wrong commit.

---
 matita/matita/matitaEngine.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
2.39.2