diff options
Diffstat (limited to 'source')
| -rw-r--r-- | source/Megalodon.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/source/Megalodon.hs b/source/Megalodon.hs index 37479b2..7e75e6d 100644 --- a/source/Megalodon.hs +++ b/source/Megalodon.hs @@ -21,7 +21,7 @@ closure :: [ExprOf VarSymbol] -> ExprOf VarSymbol -> Formula closure asms stmt = contraction (forallClosure mempty (makeConjunction asms `Implies` stmt)) unAsm :: Asm -> Formula -unAsm (Asm phi )= phi +unAsm (Asm phi) = phi unAsm (AsmStruct x sp) = TermSymbol (SymbolPredicate (PredicateNounStruct sp)) [TermVar x] buildBlocks :: Lexicon -> [Block] -> Builder |