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