X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=matitaB%2Fmatita%2FmatitaEngine.mli;h=ceffc6f7fd8e87d96cfcdce1b531b965f841f142;hb=735c93deb88ebc24614e7f2d899a2ed0dd480314;hp=d412d3ad03b1555a49cfe0c565bb80789eea25f5;hpb=cacbe3c6493ddce76c4c13379ade271d8dd172e8;p=helm.git

diff --git a/matitaB/matita/matitaEngine.mli b/matitaB/matita/matitaEngine.mli
index d412d3ad0..ceffc6f7f 100644
--- a/matitaB/matita/matitaEngine.mli
+++ b/matitaB/matita/matitaEngine.mli
@@ -48,7 +48,6 @@ val eval_ast :
   GrafiteTypes.status ->
   string * int *
   GrafiteAst.statement ->
-  (GrafiteTypes.status *
-   (DisambiguateTypes.domain_item * GrafiteAst.alias_spec) option) list
+  GrafiteTypes.status 
 
-val assert_ng: include_paths:string list -> string -> bool
+val assert_ng: include_paths:string list -> ?outch:out_channel -> string -> bool