Merge branch 'master' of https://github.com/scmlab/gcl

scmlab · Nov 13, 2022 · 5953ddb · 5953ddb
2 parents eb95434 + bd29640
commit 5953ddb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Server/Handler/AutoCompletion.hs b/src/Server/Handler/AutoCompletion.hs
@@ -132,7 +132,7 @@ items position = mconcat
                 "\"∀\" Forall"
                 "The Unicode variant of \"forall\""
     , makeItems position
-                ["exitsts", "ex", "E"]
+                ["exists", "ex", "E"]
                 (Just CiValue)
                 "∃"
                 "\"∃\" Exists"