Fix Cilfacade.pretty_typsig_like_typ forgetting pointers from name on…

… base type
goblint · Sep 19, 2023 · 0f59ac9 · 0f59ac9
1 parent 8ec8c31
commit 0f59ac9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/util/cilfacade.ml b/src/util/cilfacade.ml
@@ -377,7 +377,7 @@ let rec pretty_typsig_like_typ (nameOpt: Pretty.doc option) () ts =
     | _ -> pa
   in
   match ts with
-  | TSBase t -> dn_type () t
+  | TSBase t -> defaultCilPrinter#pType nameOpt () t
   | TSComp (cstruct, cname, a) ->
     let su = if cstruct then "struct" else "union" in
     text (su ^ " " ^ cname ^ " ")