Commit ec10070b authored by POTTIER Francois's avatar POTTIER Francois

Uses of [flow_map].

parent bc1ee0f3
......@@ -310,19 +310,19 @@ let top = function
| Coqtop_implicit (x, xs) ->
string "Implicit Arguments " ^^
string x ^/^
brackets (separate_map space implicit xs)
brackets (flow_map space implicit xs)
^^ dot
| Coqtop_register (db, x, v) ->
sprintf "Hint Extern 1 (Register %s %s) => Provide %s." db x v
| Coqtop_hint_constructors (xs, base) ->
string "Hint Constructors " ^^
separate_map space string xs ^^
flow_map space string xs ^^
spacecolon ^/^
string base
^^ dot
| Coqtop_hint_unfold (xs, base) ->
string "Hint Unfold " ^^
separate_map space string xs ^^
flow_map space string xs ^^
spacecolon ^/^
string base
^^ dot
......
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