From 3caadfbe0fdb417b8edebc17002ddafe795a4bcc Mon Sep 17 00:00:00 2001
From: adelon <22380201+adelon@users.noreply.github.com>
Date: Tue, 23 Jul 2024 16:57:34 +0200
Subject: Formatting

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

(limited to 'source/Meaning.hs')

diff --git a/source/Meaning.hs b/source/Meaning.hs
index 834d8a6..3017c1f 100644
--- a/source/Meaning.hs
+++ b/source/Meaning.hs
@@ -406,7 +406,7 @@ glossStmt = \case
         f' <- glossStmt f
         quantify <- glossQuantifier quantifier
         pure (quantify vars [constraints] f')
-    Raw.StmtExists np       -> do
+    Raw.StmtExists np -> do
         (vars, constraints) <- glossNPList np
         pure (Sem.makeExists vars constraints)
     Raw.SymbolicQuantified quant vs bound suchThat have -> do
-- 
cgit v1.2.3