diff options
Diffstat (limited to 'src/jib/jib_util.ml')
| -rw-r--r-- | src/jib/jib_util.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/jib/jib_util.ml b/src/jib/jib_util.ml index d9c6a541..17227875 100644 --- a/src/jib/jib_util.ml +++ b/src/jib/jib_util.ml @@ -466,7 +466,7 @@ let pp_id id = string (string_of_id id) let pp_ctyp ctyp = - string (string_of_ctyp ctyp |> Util.yellow |> Util.clear) + string (full_string_of_ctyp ctyp |> Util.yellow |> Util.clear) let pp_keyword str = string ((str |> Util.red |> Util.clear) ^ " ") |