Use "DISABLED_FOR_FRAMAC" to disable code to facilitate verification

using frama-c

1 files changed, 1 insertions, 1 deletions

diff --git a/src/ewf.h b/src/ewf.h
index 105080a3..d90c3d93 100644
--- a/src/ewf.h
+++ b/src/ewf.h
@@ -25,7 +25,7 @@
 extern "C" {
 #endif
 
-#if defined(__FRAMAC__) || defined(MAIN_photorec)
+#if defined(DISABLED_FOR_FRAMAC)
 #undef HAVE_LIBEWF
 #endif