X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fgrafite_engine%2FgrafiteEngine.ml;h=424ae40b944f0241d63ef5f58de675e3e13c1823;hb=926bd86002f91d2bf2a3ce7376309f5106268959;hp=71f03690445cde7762867dcd05240e432285b7f0;hpb=66be8fbe19e2ccfa0e6a7abeba605152d1322595;p=helm.git

diff --git a/matita/components/grafite_engine/grafiteEngine.ml b/matita/components/grafite_engine/grafiteEngine.ml
index 71f036904..424ae40b9 100644
--- a/matita/components/grafite_engine/grafiteEngine.ml
+++ b/matita/components/grafite_engine/grafiteEngine.ml
@@ -202,7 +202,7 @@ let record_index_obj =
   if not alias_only then
     basic_index_obj
       (List.map 
-        (fun ks,v -> List.map refresh_uri_in_term ks, refresh_uri_in_term v) 
+        (fun (ks,v) -> List.map refresh_uri_in_term ks, refresh_uri_in_term v) 
       l) status
   else
    status
@@ -435,7 +435,7 @@ let eval_ng_tac tac =
       NnAuto.auto_tac ~params:(None,a) ?trace_ref:None
   | GrafiteAst.NAuto (_loc, (Some l,a)) ->
       NnAuto.auto_tac
-	~params:(Some List.map (fun x -> "",0,x) l,a) ?trace_ref:None
+	~params:(Some (List.map (fun x -> "",0,x) l),a) ?trace_ref:None
   | GrafiteAst.NBranch _ -> NTactics.branch_tac ~force:false
   | GrafiteAst.NCases (_loc, what, where) ->
       NTactics.cases_tac