From c943ca6441e9118bc9caee1c11f697da89bc06b7 Mon Sep 17 00:00:00 2001
From: Simon-Kor <52245124+Simon-Kor@users.noreply.github.com>
Date: Wed, 18 Sep 2024 00:01:42 +0200
Subject: working commit

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

(limited to 'source/Checking.hs')

diff --git a/source/Checking.hs b/source/Checking.hs
index 766c327..8bc38a4 100644
--- a/source/Checking.hs
+++ b/source/Checking.hs
@@ -543,7 +543,7 @@ checkProof = \case
         checkCalc calc
         assume [Asm (calcResult calc)]
         checkProof continue
-    DefineFunctionMathy funVar argVar domVar ranExpr definitions continue -> do
+    DefineFunctionLocal funVar argVar domVar ranExpr definitions continue -> do
         -- We have f: X \to Y and x \mapsto ...  
         -- definition is a nonempty list of (expresssion e, formula phi)
         -- such that f(x) =  e if phi(x)
-- 
cgit v1.2.3