From 55521e9b9eb3fc87d0e2efb4b0890737d73d3f79 Mon Sep 17 00:00:00 2001 From: Didrik Lundberg Date: Fri, 22 Nov 2024 16:27:04 +0100 Subject: [PATCH] Small fix to tutorial Makefile --- examples/tutorial/Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/examples/tutorial/Makefile b/examples/tutorial/Makefile index 3b84f32e3..96d0ef8ff 100644 --- 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 ##########################################################