From f58bde237fe48531722bb5b7ccb8f8e4e5bd2990 Mon Sep 17 00:00:00 2001
From: Mirek Kratochvil <exa.exa@gmail.com>
Date: Sat, 18 Feb 2023 21:49:28 +0100
Subject: op cleaner

---
 app/Interpreter.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'app/Interpreter.hs')

diff --git a/app/Interpreter.hs b/app/Interpreter.hs
index f36ef0b..b215049 100644
--- a/app/Interpreter.hs
+++ b/app/Interpreter.hs
@@ -77,7 +77,7 @@ proveStep = St.get >>= go
         _ -> do
           StrTable _ _ itos <- St.gets strtable
           ifail $
-            "no definition: " ++ (itos M.! str fn) ++ "/" ++ show (arity fn)
+            "no definition: '" ++ (itos M.! str fn) ++ "'/" ++ show (arity fn)
     {- Unification -}
     go i@Interp {cur = cur@Cho {hed = U h:hs, gol = U g:gs, heap = heap}} =
       unify h g
-- 
cgit v1.2.3