From 9cdcc0e79a87186d4dc0c1f46ca3e7f723d0d1c6 Mon Sep 17 00:00:00 2001
From: adelon <22380201+adelon@users.noreply.github.com>
Date: Wed, 5 Jun 2024 14:23:45 +0200
Subject: Update Megalodon.hs

---
 source/Megalodon.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
cgit v1.2.3