diff --git a/src/plugins/eva/api/general_requests.ml b/src/plugins/eva/api/general_requests.ml
index db19684737ccdbea1d267a2b857e66d3457ab9dc..a6ba38f5c9fd9a5c423ac7d9489305bcbb884d8c 100644
--- a/src/plugins/eva/api/general_requests.ml
+++ b/src/plugins/eva/api/general_requests.ml
@@ -22,9 +22,6 @@
 
 open Server
 open Cil_types
-module D = Server.Data
-module S = Server.States
-module Md = Markdown
 
 let package =
   Package.package
diff --git a/src/plugins/eva/parameters.mli b/src/plugins/eva/parameters.mli
index abc4d534b12a5aab1ed20b7a300fcf0a5b0d8ca3..04e577b54038bf6953cc398b10cdae77903283e4 100644
--- a/src/plugins/eva/parameters.mli
+++ b/src/plugins/eva/parameters.mli
@@ -86,8 +86,6 @@ module SplitLimit : Parameter_sig.Int
 module InterproceduralSplits : Parameter_sig.Bool
 module InterproceduralHistory : Parameter_sig.Bool
 
-module ILevel: Parameter_sig.Int
-
 module ArrayPrecisionLevel: Parameter_sig.Int
 
 module AllocatedContextValid: Parameter_sig.Bool
@@ -119,7 +117,6 @@ module BuiltinsOverrides:
 module BuiltinsAuto: Parameter_sig.Bool
 module BuiltinsList: Parameter_sig.Bool
 
-module SplitReturn: Parameter_sig.String
 module SplitReturnFunction:
   Parameter_sig.Map with type key = Cil_types.kernel_function
                      and type value = Split_strategy.t