From 1f424d332ec56c8598c89feb2b36f66d98bfc412 Mon Sep 17 00:00:00 2001
From: Mirek Kratochvil <miroslav.kratochvil@uni.lu>
Date: Wed, 4 Jan 2023 17:14:09 +0100
Subject: ops op

---
 app/Code.hs | 1 +
 1 file changed, 1 insertion(+)

(limited to 'app/Code.hs')

diff --git a/app/Code.hs b/app/Code.hs
index 5ac4ce7..df2e5c7 100644
--- a/app/Code.hs
+++ b/app/Code.hs
@@ -60,6 +60,7 @@ data Interp =
     , cur :: Cho -- the choice that is being evaluated right now
     , cho :: [Cho] -- remaining choice points
     , ops :: Ops -- currently defined operators
+    , opstash :: [Ops] -- saved operators
     , strtable :: StrTable -- string table
     }
   deriving (Show)
-- 
cgit v1.2.3