X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fcomponents%2Fgrafite_engine%2FgrafiteTypes.mli;h=0351b261158572ea83a899853b1f8b22606e58c1;hb=cdb85e803cd6038352ec0a318285f96f42faf02d;hp=92d4cc2aa446798f06303e9b8732776e3abe8622;hpb=cacbe3c6493ddce76c4c13379ade271d8dd172e8;p=helm.git

diff --git a/matitaB/components/grafite_engine/grafiteTypes.mli b/matitaB/components/grafite_engine/grafiteTypes.mli
index 92d4cc2aa..0351b2611 100644
--- a/matitaB/components/grafite_engine/grafiteTypes.mli
+++ b/matitaB/components/grafite_engine/grafiteTypes.mli
@@ -32,12 +32,13 @@ exception Command_error of string
 val command_error: string -> 'a   (** @raise Command_error *)
 
 class virtual status :
- string ->
+ string option -> string ->
   object ('self)
    (* Warning: #stack and #obj are meaningful iff #ng_mode is `ProofMode *)
    inherit NTacStatus.tac_status
    inherit NCicLibrary.dumpable_status
    inherit NCicLibrary.status
+   inherit GrafiteDisambiguate.status
    inherit GrafiteParser.status
    inherit TermContentPres.status
    method baseuri: string