import SteelC from FStarLang/FStar#2349 by @john-ml (aka tahina-pro/F…

…Star@b52a9d1)
FStarLang · Apr 14, 2023 · 888c03c · 888c03c
1 parent 11c6254
commit 888c03c
Show file tree

Hide file tree

Showing 78 changed files with 19,215 additions and 0 deletions.
diff --git a/include/steel/steel_c.h b/include/steel/steel_c.h
@@ -0,0 +1,10 @@
+#ifndef __STEEL_C
+#define __STEEL_C
+
+// This file is a stopgap measure to avoid creating a Karamel branch.
+// Ideally, it should be empty, and its contents should be added to
+// krmllib.h
+
+typedef void* Steel_ST_C_Types_Base_void_ptr;
+
+#endif // ndef __STEEL_C