From aa22bc52b4dd13f0fa1b2cb4cae5b9685f2ac42a Mon Sep 17 00:00:00 2001 From: Tahina Ramananandro Date: Tue, 29 Aug 2023 14:42:37 -0700 Subject: [PATCH] do not extract COSE.Spec --- src/cbor/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/cbor/Makefile b/src/cbor/Makefile index d2b689771..400f2ce47 100644 --- a/src/cbor/Makefile +++ b/src/cbor/Makefile @@ -49,7 +49,7 @@ clean: rm -rf *.checked *.source .depend .depend.tmp out *.krml *.o .depend: $(LOWPARSE_FILES) - $(FSTAR) --dep full $(LOWPARSE_FILES) --extract 'krml:*,-FStar.Tactics,-CDDL.Spec' > $@.tmp + $(FSTAR) --dep full $(LOWPARSE_FILES) --extract 'krml:*,-FStar.Tactics,-CDDL.Spec,-COSE.Spec' > $@.tmp mv $@.tmp $@ include .depend