diff --git a/src/plugins/e-acsl/env.ml b/src/plugins/e-acsl/env.ml
index 15c68138375a6b21fb017fd79899fc242a69bca6..ec04f771bd76a798805c8282f80f2c1f782418da 100644
--- a/src/plugins/e-acsl/env.ml
+++ b/src/plugins/e-acsl/env.ml
@@ -85,10 +85,7 @@ let empty_local_env =
     mpz_tbl = empty_mpz_tbl }
 
 let dummy = 
-  { visitor = 
-      new Visitor.generic_frama_c_visitor 
-	Project_skeleton.dummy
-	(Cil.inplace_visit ()); 
+  { visitor = new Visitor.generic_frama_c_visitor (Cil.inplace_visit ()); 
     annotation_kind = Misc.Assertion;
     new_global_vars = [];
     global_mpz_tbl = empty_mpz_tbl; 
diff --git a/src/plugins/e-acsl/visit.ml b/src/plugins/e-acsl/visit.ml
index 33d01c9e5b9e90ae0ab27544e69fbf4d6687a525..dd46dbb65d13a3400e733eee28c60a54978a9c88 100644
--- a/src/plugins/e-acsl/visit.ml
+++ b/src/plugins/e-acsl/visit.ml
@@ -149,8 +149,7 @@ let funspec = ref dft_funspec
 class e_acsl_visitor prj generate = object (self)
 
   inherit Visitor.generic_frama_c_visitor 
-    prj 
-    ((if generate then Cil.copy_visit else Cil.inplace_visit) ())
+    (if generate then Cil.copy_visit prj else Cil.inplace_visit ())
 
   val mutable main_fct = None
   val mutable keep_initializer = None
@@ -395,8 +394,7 @@ you must call function `%s' by yourself"
   method private literal_string env e = 
     let env_ref = ref env in
     let o = object
-      inherit Cil.genericCilVisitor 
-	~prj:(Project.current ()) (Cil.copy_visit ())
+      inherit Cil.genericCilVisitor (Cil.copy_visit (Project.current ()))
       method vexpr e = match e.enode with
       | Const(CStr s) ->
 	let _, exp, env =