Merge pull request #2835 from johnnonweiler/bugfix/janalyzer_module_dependencies

peterschrammel · web-flow · commit 2542c8e4ab03 · 2018-08-24T15:45:50.000+01:00
Remove jdiff from janalyzer/module_dependencies.txt
diff --git 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
