diff options
| author | adelon <22380201+adelon@users.noreply.github.com> | 2024-06-05 14:23:45 +0200 |
|---|---|---|
| committer | adelon <22380201+adelon@users.noreply.github.com> | 2024-06-05 14:23:45 +0200 |
| commit | 9cdcc0e79a87186d4dc0c1f46ca3e7f723d0d1c6 (patch) | |
| tree | 66069d1db441753319ca3deb7a8fe5a4bd4bfbfb /source/Megalodon.hs | |
| parent | a08c4b2d7a7135029a588df542c18fdf07725075 (diff) | |
Update Megalodon.hs
Diffstat (limited to 'source/Megalodon.hs')
| -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 |