diff --git a/src/plugins/markdown-report/mdr_register.ml b/src/plugins/markdown-report/mdr_register.ml
index 1a95bcc1f3f4198d315189ac5054e881e2fc8e67..c426fe4121ecdd3b73a2a5d997d94d6a235c0052 100644
--- a/src/plugins/markdown-report/mdr_register.ml
+++ b/src/plugins/markdown-report/mdr_register.ml
@@ -21,7 +21,8 @@
 (**************************************************************************)
 
 let load_eva_info () =
-  if not !Md_gen.Eva_info.loaded then begin
+  if not !Md_gen.Eva_info.loaded && Dynamic.is_loaded "frama-c-eva"
+  then begin
     let eva_info = "top/eva_info.cmo" in
     try
       List.iter