diff --git a/meta_bindings.ml b/meta_bindings.ml
index 1d23d7292755808aaba1666be9930b0b16883168..01674afc533d4d757f250c346043f0b1dd44c9cf 100644
--- a/meta_bindings.ml
+++ b/meta_bindings.ml
@@ -119,8 +119,8 @@ let add_ghost_code flags =
     let base_type = Logic_utils.logicCType typ in
     (* The _set is either a fixed array or a pointer *)
     let ctype = match flags.static_bindings with
-      | Some n -> TArray (base_type, Some (Cil.integer ~loc:unkloc n), [])
-      | None -> TPtr (base_type, [])
+      | Some n -> Cil_const.mk_tarray base_type (Some (Cil.integer ~loc:unkloc n))
+      | None -> Cil_const.mk_tptr base_type
     in
     let var = Cil.makeGlobalVar (setname name) ctype in
     let svar = Cil.makeGlobalVar (sizename name) Cil_const.uintType in