X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fcomponents%2Fng_disambiguation%2FgrafiteDisambiguate.mli;h=fcea29e437b80c9d1c5812bd1bfeda961cab292a;hb=dee464f8cd331524663167659d1fad01e558d4e1;hp=b88bc0e1d0f01bf9b00636bf4501e2732295087a;hpb=d83fa3d6e3604bcc596840219f3998d795630d66;p=helm.git

diff --git a/matitaB/components/ng_disambiguation/grafiteDisambiguate.mli b/matitaB/components/ng_disambiguation/grafiteDisambiguate.mli
index b88bc0e1d..fcea29e43 100644
--- a/matitaB/components/ng_disambiguation/grafiteDisambiguate.mli
+++ b/matitaB/components/ng_disambiguation/grafiteDisambiguate.mli
@@ -37,6 +37,7 @@ class virtual status :
   inherit g_status
   inherit Interpretations.status
   method set_disambiguate_db: db -> 'self
+  method reset_disambiguate_db: unit -> 'self
   method set_disambiguate_status: #g_status -> 'self
  end