diff options
| author | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-08-07 15:28:45 +0200 |
|---|---|---|
| committer | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-08-07 15:28:45 +0200 |
| commit | 6129ebdf0d8549f3e4d23aa771f2c06020182b7e (patch) | |
| tree | 591d5644fb518e51ab45657446afbf89b4f51a96 /source/Provers.hs | |
| parent | cbac8ca4a5bf8ff38af3e512956ea1e468965194 (diff) | |
Created first urysohn formalization
Diffstat (limited to 'source/Provers.hs')
| -rw-r--r-- | source/Provers.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/source/Provers.hs b/source/Provers.hs index 203ee82..37e02ca 100644 --- a/source/Provers.hs +++ b/source/Provers.hs @@ -110,7 +110,7 @@ data ProverAnswer | No Text | ContradictoryAxioms Text | Uncertain Text - | Error Text + | Error Text Text Text deriving (Show, Eq) nominalDiffTimeToText :: NominalDiffTime -> Text @@ -163,4 +163,4 @@ recognizeAnswer Prover{..} task tptp answer answerErr = | saidNo -> No tptp | doesNotKnow -> Uncertain tptp | warned -> ContradictoryAxioms tptp - | otherwise -> Error (answer <> answerErr) + | otherwise -> Error (answer <> answerErr) tptp (Text.pack(show (taskConjectureLabel task))) |