fix: fix creating new terms

2021-06-28 09:44:24 +02:00 · 2021-06-28 09:44:24 +02:00 · 9676615c55
commit 9676615c55
parent 7ad5737ae2
1 changed files with 1 additions and 1 deletions
--- 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