From c6de6147adbf650a444b81f0aaccc8cceeeb5b9b Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Thu, 8 Apr 2010 17:44:46 +0000 Subject: [PATCH] support axioms From: tassi --- helm/software/components/tptp_grafite/mainTHF.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/software/components/tptp_grafite/mainTHF.ml b/helm/software/components/tptp_grafite/mainTHF.ml index ece02f4a0..aa68fa61e 100644 --- a/helm/software/components/tptp_grafite/mainTHF.ml +++ b/helm/software/components/tptp_grafite/mainTHF.ml @@ -91,7 +91,7 @@ let _ = GA.NObj(floc, T.Theorem(`Definition, id,ty,Some body,`Regular)))):: aux tl - | A.ThfFormula(name,(A.Hypothesis|A.Assumption),term) :: tl -> + | A.ThfFormula(name,(A.Axiom|A.Hypothesis|A.Assumption),term) :: tl -> GA.Executable(floc, GA.NCommand(floc, GA.NObj(floc, -- 2.39.2