diff options
Diffstat (limited to 'src/boot/me')
| -rw-r--r-- | src/boot/me/semant.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/boot/me/semant.ml b/src/boot/me/semant.ml index 0bb6a8bb..4f278d12 100644 --- a/src/boot/me/semant.ml +++ b/src/boot/me/semant.ml @@ -971,7 +971,7 @@ let ty_fold_rebuild (id:Ast.ty -> Ast.ty) let rec pretty_ty_str (cx:ctxt) (fallback:(Ast.ty -> string)) (ty:Ast.ty) = let cache = cx.ctxt_user_type_names in - if Hashtbl.mem cache ty then + if not (Ast.ty_is_simple ty) && Hashtbl.mem cache ty then let names = List.map (Ast.sprintf_name ()) (Hashtbl.find_all cache ty) in String.concat " = " names else |