Add an implementation for char_of_uint8 in kremlib/c/c.c

FStarLang · Apr 11, 2021 · 82cae1d · 82cae1d
1 parent 0cfb20e
commit 82cae1d
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/kremlib/c/c.c b/kremlib/c/c.c
@@ -8,6 +8,10 @@
 
 intptr_t nullptr = (intptr_t) NULL;
 
+char char_of_uint8(uint8_t c) {
+    return c;
+}
+
 bool __eq__C_char(char c1, char c2) {
   return c1 == c2;
 }