diff options
Diffstat (limited to 'source/Tptp')
| -rw-r--r-- | source/Tptp/UnsortedFirstOrder.hs | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/source/Tptp/UnsortedFirstOrder.hs b/source/Tptp/UnsortedFirstOrder.hs index 7042df3..8291d28 100644 --- a/source/Tptp/UnsortedFirstOrder.hs +++ b/source/Tptp/UnsortedFirstOrder.hs @@ -77,8 +77,6 @@ isProperVariable name = case Text.uncons name of data Role = Axiom - | AxiomUseful -- ^ Annotated axiom for trainig premise selection. - | AxiomRedundant -- ^ Annotated axiom for trainig premise selection. | Hypothesis | Conjecture | NegatedConjecture @@ -141,8 +139,6 @@ buildName = \case buildRole :: Role -> TextBuilder buildRole = \case Axiom -> "axiom" - AxiomUseful -> "axiom_useful" - AxiomRedundant -> "axiom_redundant" Hypothesis -> "hypothesis" Conjecture -> "conjecture" NegatedConjecture -> "negated_conjecture" |