diff --git a/jbmc/src/janalyzer/module_dependencies.txt b/jbmc/src/janalyzer/module_dependencies.txt
index 1aa013f0c31..337c4f0448b 100644
--- a/jbmc/src/janalyzer/module_dependencies.txt
+++ b/jbmc/src/janalyzer/module_dependencies.txt
@@ -1,7 +1,6 @@
 analyses
 ansi-c # should go away
 java_bytecode
-jdiff
 goto-analyzer
 goto-programs
 langapi # should go away