1 files changed, 0 insertions, 1 deletions

diff --git a/Makefile b/Makefile
index 1d6d4b7d..9f71079b 100644
--- a/Makefile
+++ b/Makefile
@@ -6,7 +6,6 @@ endif
 all: build-tests-verify
 
 CHARON_HOME = ../charon
-CHARON_EXEC = $(CHARON_HOME)/charon
 DEST_DIR = tests
 
 # We use those variables, whose definition depends on the rule we apply