From ce19e88e04393cbed1f893a428cfa7369ccd0338 Mon Sep 17 00:00:00 2001
From: adelon <22380201+adelon@users.noreply.github.com>
Date: Fri, 4 Jul 2025 02:03:41 +0200
Subject: Fix whitespace

---
 source/Syntax/Abstract.hs | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'source/Syntax')

diff --git a/source/Syntax/Abstract.hs b/source/Syntax/Abstract.hs
index c8022c7..c8d5dac 100644
--- a/source/Syntax/Abstract.hs
+++ b/source/Syntax/Abstract.hs
@@ -369,13 +369,13 @@ data Proof
     -- ^ Local function definition, e.g. /@Let $f(x) = e$ for $x\\in d$@/.
     -- The first 'VarSymbol' is the newly defined symbol, the second one is the argument.
     -- The first 'Expr' is the value, the final variable and expr specify a bound (the domain of the function).
-    
-    
-    
-    
+
+
+
+
     | DefineFunctionLocal VarSymbol VarSymbol Expr VarSymbol VarSymbol (NonEmpty (Expr, Formula)) Proof
     -- ^ Local function definition, but in this case we give the domain and target an the rules for $xs$ in some sub domains.
-    -- 
+    --
     deriving (Show, Eq, Ord)
 
 -- | An inline justification.
-- 
cgit v1.2.3