removed trailing whitespaces

parent cff97303
......@@ -75,7 +75,7 @@
let type_array s e =
let array = Qdot (Qident (mk_id "Array" s e), mk_id "array" s e) in
PTtyapp (array, [type_int s e])
%}
%token <string> INCLUDE
......@@ -432,7 +432,7 @@ quant:
binder:
| id=ident { id, type_int $startpos $endpos }
| id=ident LEFTSQ RIGHTSQ { id, type_array $startpos $endpos }
term_arg: mk_term(term_arg_) { $1 }
term_arg_:
......
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