From 57e15850ce982fb6dda6caf0942ebe2d8f2bfd46 Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Thu, 26 May 2011 09:25:59 +0000
Subject: [PATCH] [e-acsl] comment

---
 src/plugins/e-acsl/visit.ml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/plugins/e-acsl/visit.ml b/src/plugins/e-acsl/visit.ml
index 82302b4394a..5cff01c8156 100644
--- a/src/plugins/e-acsl/visit.ml
+++ b/src/plugins/e-acsl/visit.ml
@@ -497,6 +497,8 @@ end
 let do_visit ?(prj=Project.current ()) generate =
   let vis = new e_acsl_visitor prj generate in
   first_global := true;
+  (* explicit type annotation in order to check that no new method is introduced
+     by error *)
   (vis : Visitor.frama_c_visitor)
 
 (*
-- 
GitLab