diff --git a/src/plugins/e-acsl/pre_analysis.ml b/src/plugins/e-acsl/pre_analysis.ml
index ca6a846d6175b5b5ec65b53f1997981d47b1b63f..50aaf41caafca73467dada2843c93cf76412f46f 100644
--- a/src/plugins/e-acsl/pre_analysis.ml
+++ b/src/plugins/e-acsl/pre_analysis.ml
@@ -42,7 +42,6 @@ let init_mpz () =
 (* ********************************************************************** *)
 
 let dkey = Options.dkey_analysis
-
 module Env: sig
   val default_varinfos: Varinfo.Hptset.t option -> Varinfo.Hptset.t
   val apply: (kernel_function -> 'a) -> kernel_function -> 'a
@@ -191,7 +190,7 @@ module rec Transfer
     Some 
       (Varinfo.Hptset.union (Env.default_varinfos s1) (Env.default_varinfos s2))
 
-  let is_ptr_or_array ty = Cil.isPtrType ty || Cil.isArrayType ty
+  let is_ptr_or_array ty = Cil.isPointerType ty || Cil.isArrayType ty
 
   let is_ptr_or_array_exp e =
     let ty = Cil.typeOf e in