diff options
Diffstat (limited to 'ide/coq_lex.mll')
-rw-r--r-- | ide/coq_lex.mll | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ide/coq_lex.mll b/ide/coq_lex.mll index 406d152cd..7f91ceee6 100644 --- a/ide/coq_lex.mll +++ b/ide/coq_lex.mll @@ -86,7 +86,7 @@ let sentence_sep = '.' [ ' ' '\r' '\n' '\t' ] let multiword_declaration = "Module" (space+ "Type")? | "Program" space+ ident -| "Existing" space+ "Instance" +| "Existing" space+ "Instance" "s"? | "Canonical" space+ "Structure" let locality = ("Local" space+)? |