diff --git a/case_studies/wookey/loader/GNUmakefile b/case_studies/wookey/loader/GNUmakefile
index b68f3fcb2d28f2b731c5c147b2d8716ab30ca066..6c56cffc8646ae096978b0104e954f32374a2beb 100644
--- a/case_studies/wookey/loader/GNUmakefile
+++ b/case_studies/wookey/loader/GNUmakefile
@@ -104,7 +104,6 @@ prove_gui: $(OUT_FILE)
 
 clean::
 	rm -f $(OUT_FILE)
-	rm -rf .frama-c
 	rm -rf $(MAIN_TARGET).parse
 
 include $(shell $(FRAMAC)-config -print-lib-path)/analysis-scripts/epilogue.mk