steel_c.h no longer needed

project-everest · Sep 27, 2023 · 1b8fd89 · 1b8fd89
1 parent c125504
commit 1b8fd89
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/cbor/Makefile b/src/cbor/Makefile
@@ -63,7 +63,6 @@ verify-all: $(ALL_CHECKED_FILES)
 KRML = $(KRML_HOME)/krml \
 	 -ccopt "-Ofast" \
 	 -drop 'FStar.Tactics.\*' -drop FStar.Tactics -drop 'FStar.Reflection.\*' \
-	 -I $(STEEL_HOME)/include/steel -add-include '"steel_c.h"' \
 	 -tmpdir out \
 	 -bundle 'CBOR.SteelC+CBOR.SteelST+CBOR.Spec.Constants=CBOR.\*,Steel.\*,C,LowStar.\*,LowParse.\*[rename=CBOR]' \
 	 -skip-linking \