From 3c4e47b7e829ce7fac8aad85c1a1fd2fce655075 Mon Sep 17 00:00:00 2001
From: courtieu <courtieu@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Fri, 16 Dec 2011 14:53:21 +0000
Subject: Adapting coqide to my last commit: Moving bullets (-, +, *) into
 stand-alone commands instead of being part of a tactic.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14795 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 ide/coq_lex.mll | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'ide/coq_lex.mll')

diff --git a/ide/coq_lex.mll b/ide/coq_lex.mll
index e937e9875..40163ea9f 100644
--- a/ide/coq_lex.mll
+++ b/ide/coq_lex.mll
@@ -75,7 +75,7 @@ let identchar =
   ['$' 'A'-'Z' 'a'-'z' '_' '\192'-'\214' '\216'-'\246' '\248'-'\255' '\'' '0'-'9']
 let ident = firstchar identchar*
 
-let undotted_sep = [ '{' '}' ]
+let undotted_sep = [ '{' '}' '-' '+' '*' ]
 
 let dot_sep = '.' (space | eof)
 
-- 
cgit v1.2.3