Commit b2f5aa46 authored by Bruno Guillaume's avatar Bruno Guillaume

remove useless tokens

parent ab02cce7
......@@ -135,7 +135,6 @@ and label_parser target = parse
| "re\"" { Buffer.clear buff; string_lex true global lexbuf }
| "]->" { Global.label_flag := false; LTR_EDGE_RIGHT }
| "]-" { Global.label_flag := false; RTL_EDGE_RIGHT }
| "]=>" { Global.label_flag := false; ARROW_RIGHT }
| _ as c { raise (Error (sprintf "unexpected character '%c'" c)) }
......@@ -228,8 +227,6 @@ and standard target = parse
| "-[^" { Global.label_flag := true; LTR_EDGE_LEFT_NEG }
| "-[" { Global.label_flag := true; LTR_EDGE_LEFT }
| "]->" { LTR_EDGE_RIGHT }
| "<-[" { Global.label_flag := true; RTL_EDGE_LEFT }
| "]-" { RTL_EDGE_RIGHT }
| "==>" { ARROW }
| "=[" { Global.label_flag := true; ARROW_LEFT }
......
......@@ -63,8 +63,6 @@ let localize t = (t,get_loc ())
%token LTR_EDGE_LEFT /* -[ */
%token LTR_EDGE_LEFT_NEG /* -[^ */
%token LTR_EDGE_RIGHT /* ]-> */
%token RTL_EDGE_LEFT /* <-[ */
%token RTL_EDGE_RIGHT /* ]- */
%token ARROW /* ==> */
%token ARROW_LEFT /* =[ */
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment