From c2a0823b4837cfe8ca7f89e68f58cd97efacf367 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Wed, 29 Aug 2012 12:10:02 +0000 Subject: [PATCH] (Part of previous two commits) --- matita/components/grafite_engine/grafiteTypes.ml | 1 + matita/components/grafite_engine/grafiteTypes.mli | 1 + 2 files changed, 2 insertions(+) diff --git a/matita/components/grafite_engine/grafiteTypes.ml b/matita/components/grafite_engine/grafiteTypes.ml index e3086b2d7..27a5cb61e 100644 --- a/matita/components/grafite_engine/grafiteTypes.ml +++ b/matita/components/grafite_engine/grafiteTypes.ml @@ -41,6 +41,7 @@ class virtual status = fun (b : string) -> inherit ([Continuationals.Stack.t] NTacStatus.status fake_obj (Continuationals.Stack.empty)) inherit NCicLibrary.dumpable_status inherit NCicLibrary.status + inherit NCicExtraction.status inherit GrafiteParser.status inherit TermContentPres.status val baseuri = b diff --git a/matita/components/grafite_engine/grafiteTypes.mli b/matita/components/grafite_engine/grafiteTypes.mli index 92d4cc2aa..65cda299c 100644 --- a/matita/components/grafite_engine/grafiteTypes.mli +++ b/matita/components/grafite_engine/grafiteTypes.mli @@ -38,6 +38,7 @@ class virtual status : inherit NTacStatus.tac_status inherit NCicLibrary.dumpable_status inherit NCicLibrary.status + inherit NCicExtraction.status inherit GrafiteParser.status inherit TermContentPres.status method baseuri: string -- 2.39.2