Commit 9273fe11 authored by POTTIER Francois's avatar POTTIER Francois

Printer: fixed spacing.

parent a6609bd8
...@@ -536,11 +536,11 @@ let datadef typename f def = ...@@ -536,11 +536,11 @@ let datadef typename f def =
datavalparams def.datavalparams datavalparams def.datavalparams
| [], Some indices -> | [], Some indices ->
(* | A : (v, w) ty *) (* | A : (v, w) ty *)
fprintf f " : %a %s" fprintf f " : %a%s"
(typeparams typ0 typ) indices typename (typeparams typ0 typ) indices typename
| _ :: _, Some indices -> | _ :: _, Some indices ->
(* | A : t * u -> (v, w) ty *) (* | A : t * u -> (v, w) ty *)
fprintf f " : %a -> %a %s" fprintf f " : %a -> %a%s"
datavalparams def.datavalparams datavalparams def.datavalparams
(typeparams typ0 typ) indices typename (typeparams typ0 typ) indices typename
......
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