From 3a2b60b4b43f299f4679d9a672aa570e61f7ff7d Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Wed, 28 Sep 2022 18:13:47 +0200
Subject: [PATCH] [wookey] default targets attempts to prove the metaproperties

---
 case_studies/wookey/loader/GNUmakefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/case_studies/wookey/loader/GNUmakefile b/case_studies/wookey/loader/GNUmakefile
index 8229162..35c5c48 100644
--- a/case_studies/wookey/loader/GNUmakefile
+++ b/case_studies/wookey/loader/GNUmakefile
@@ -62,7 +62,7 @@ EVAFLAGS    += \
 MAIN_TARGET := loader
 
 # Add other targets if needed
-TARGETS = $(MAIN_TARGET).parse
+TARGETS = $(MAIN_TARGET).meta
 
 # Default target
 all: $(TARGETS)
-- 
GitLab