From 61b08f91af9c9cc2ba16839df4d44f9c66d47c15 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Virgile=20Pr=C3=A9vosto?= <virgile.prevosto@cea.fr>
Date: Tue, 3 May 2011 18:13:29 +0000
Subject: [PATCH] upgrade to new kernel API

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

diff --git a/src/plugins/e-acsl/visit.ml b/src/plugins/e-acsl/visit.ml
index 0229ed833c1..dcfb1083361 100644
--- a/src/plugins/e-acsl/visit.ml
+++ b/src/plugins/e-acsl/visit.ml
@@ -19,7 +19,6 @@
 (*                                                                        *)
 (**************************************************************************)
 
-open Db_types
 open Cil_types
 open Cil_datatype
 open Cil
-- 
GitLab