From adafe5b9beec494adc941407e8e984e9826e428f Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Tue, 25 Jun 2013 06:39:11 +0000
Subject: [PATCH] [E-ACSL] compatibility with kernel's changes

---
 src/plugins/e-acsl/options.mli | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/plugins/e-acsl/options.mli b/src/plugins/e-acsl/options.mli
index df131a7d2f9..c8f4dbdc7cd 100644
--- a/src/plugins/e-acsl/options.mli
+++ b/src/plugins/e-acsl/options.mli
@@ -34,10 +34,10 @@ module Project_name: String
 
 val must_visit: unit -> bool
 
-val dkey_analysis: category
-val dkey_dup: category
-val dkey_translation: category
-val dkey_typing: category
+val dkey_analysis: Log.category
+val dkey_dup: Log.category
+val dkey_translation: Log.category
+val dkey_typing: Log.category
 
 (*
 Local Variables:
-- 
GitLab