Merge pull request #194 from kth-step/dev_tutorial_fix

Small fix to tutorial
kth-step · Nov 23, 2024 · 72c6787 · 72c6787
2 parents 686f11d + 55521e9
commit 72c6787
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
 
 ##########################################################