[E-ACSL] fix crash with typedef on pointer types

src/plugins/e-acsl/doc/Changelog

@@ -15,6 +15,7 @@
 #   E-ACSL: the Whole E-ACSL plug-in
 ###############################################################################
 
+-* E-ACSL       [2013/06/26] Fix crash with typedef on pointer types.
 -  E-ACSL       [2013/06/21] Fewer unknown locations.
 -* E-ACSL       [2013/06/18] Fixed bug when generating RTEs on the E-ACSL
 	        generated project.

src/plugins/e-acsl/translate.ml

@@ -453,7 +453,7 @@ and mmodel_call_with_size ~loc kf name ctx env t =
       None
       ctx
       (fun v _ ->
-	let sizeof = match typ with 
+	let sizeof = match Cil.unrollType typ with 
 	  | TPtr (t', _) -> Cil.new_exp ~loc (SizeOf t')
 	  | _ -> assert false
 	in