diff --git a/src/plugins/e-acsl/options.mli b/src/plugins/e-acsl/options.mli
index df131a7d2f926929556223ef421289d50bf97551..c8f4dbdc7cd97b942cf1e80c33db7f898b149be3 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: