Small fix to tutorial Makefile

kth-step · Nov 22, 2024 · 55521e9 · 55521e9
1 parent 686f11d
commit 55521e9
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/examples/tutorial/Makefile b/examples/tutorial/Makefile
@@ -1,11 +1,11 @@
 
 MAKEFILE_DIRS=1-code 3-exec 8-symbexec
-HOLMAKEFILE_DIRS=2-lift 4-bir-to-arm 5-wp 6-smt 7-composition support support2
+HOLMAKEFILE_DIRS=2-lift 4-bir-to-arm 5-wp 6-smt 7-composition
 
 ##########################################################
 
 .DEFAULT_GOAL := all
-all: 7-composition support2
+all: 7-composition
 
 ##########################################################