diff --git a/src/plugins/eva/utils/export.ml b/src/plugins/eva/utils/export.ml
index 7b5595771ce120eb8c83db5c41c83c123eb8a844..3f84f2a1f856c822c2bbd5ee73e30b84fb5d9d25 100644
--- a/src/plugins/eva/utils/export.ml
+++ b/src/plugins/eva/utils/export.ml
@@ -255,8 +255,8 @@ let is_dead stmt = Results.is_empty @@ Results.before stmt
 
 let emitter = Emitter.create "Eva_export"
     [ Emitter.Code_annot ]
-    ~correctness:[]
-    ~tuning:[]
+    ~correctness:Parameters.parameters_correctness
+    ~tuning:Parameters.parameters_tuning
 
 let generator () : visitor =
   object(self)