Commit 627b3ec7 authored by POTTIER Francois's avatar POTTIER Francois

More concise printing.

parent f8f52b4a
......@@ -490,9 +490,11 @@ let rec print0 b e =
| EChar c ->
bprintf b "%s" (Char.print c)
| EDisj [] ->
bprintf b "<void>"
(* This notation could be confused with a character. *)
bprintf b "0"
| EConj [] ->
bprintf b "<univ>"
(* This notation could be confused with a character. *)
bprintf b "1"
| EStar e ->
bprintf b "%a*" print0 e
| _ ->
......
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