Fix formatting string.
This commit is contained in:
parent
0ac6be85a9
commit
9fb3e128da
1 changed files with 1 additions and 1 deletions
|
@ -107,7 +107,7 @@ let rec tyspec_to_str (ts:tyspec) : string =
|
||||||
fmt_tyspec ff (!tv)
|
fmt_tyspec ff (!tv)
|
||||||
|
|
||||||
| TYSPEC_exterior tv ->
|
| TYSPEC_exterior tv ->
|
||||||
fmt ff "@";
|
fmt ff "@@";
|
||||||
fmt_tyspec ff (!tv)
|
fmt_tyspec ff (!tv)
|
||||||
|
|
||||||
| TYSPEC_callable (out, ins) ->
|
| TYSPEC_callable (out, ins) ->
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue