Commit c0ee27ec authored by POTTIER Francois's avatar POTTIER Francois

Another attempt at removing trailing spaces in auto-generated `.messages` files.

Updated [Invariant.print] for this purpose.
parent b95489d4
# Changes
## 2018/10/31
* Another attempt at removing all trailing spaces in auto-generated
`.messages` files. (I hope I got it right, this time.)
## 2018/10/26
* A new syntactic sugar facility, "token aliases", has been added.
......@@ -475,9 +475,10 @@ let fold_top f accu w =
let print (w : word) =
let b = Buffer.create 64 in
let separator = Misc.once "" " " in
fold (fun () _represented symbol _states ->
Buffer.add_string b (Symbol.print symbol);
Buffer.add_char b ' '
Buffer.add_string b (separator());
Buffer.add_string b (Symbol.print symbol)
) () w;
Buffer.contents b
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