From d967a335e20ac462698af8c895a0f3516f8b5572 Mon Sep 17 00:00:00 2001 From: Daniel Kroening Date: Tue, 9 Oct 2018 15:04:49 +0100 Subject: [PATCH] goto-cc no longer needs pointer-analysis --- src/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Makefile b/src/Makefile index 2fdbcd178b9..403b2616423 100644 --- a/src/Makefile +++ b/src/Makefile @@ -60,7 +60,7 @@ goto-diff.dir: languages goto-programs.dir pointer-analysis.dir \ linking.dir analyses.dir goto-instrument.dir \ solvers.dir json.dir goto-symex.dir -goto-cc.dir: languages pointer-analysis.dir goto-programs.dir linking.dir +goto-cc.dir: languages goto-programs.dir linking.dir # building for a particular directory