From 278d2ffc180cf3ae7af362a029115e00dbe87532 Mon Sep 17 00:00:00 2001 From: John Nonweiler Date: Fri, 24 Aug 2018 14:24:50 +0100 Subject: [PATCH] Remove jdiff from janalyzer/module_dependencies.txt --- jbmc/src/janalyzer/module_dependencies.txt | 1 - 1 file changed, 1 deletion(-) 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