[fix] "exitsts" -> "exists" in AutoCompletion

scmlab · Nov 8, 2022 · bd29640 · bd29640
1 parent 9c17790
commit bd29640
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"