From 9676615c55cbecce02dca95b01ad69c1a2455f1d Mon Sep 17 00:00:00 2001
From: Gregor Kleen <gregor.kleen@ifi.lmu.de>
Date: Mon, 28 Jun 2021 09:44:24 +0200
Subject: [PATCH] fix: fix creating new terms

---
 src/Handler/Term.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Handler/Term.hs b/src/Handler/Term.hs
index 6115c4db6..322992b61 100644
--- a/src/Handler/Term.hs
+++ b/src/Handler/Term.hs
@@ -213,7 +213,7 @@ termEditHandler mtid template = do
               Just oTId | tid == oTId ->
                 lift $ replace tid term
               _other -> do
-                whenM (lift $ existsKey tid) $
+                whenM (lift $ exists [TermName ==. tfName]) $
                   throwE MsgTermExists
                 lift $ insertKey tid term