diff --git a/src/Server/Handler/AutoCompletion.hs b/src/Server/Handler/AutoCompletion.hs index 3b3ecf49..7734abac 100644 --- 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"