Merge pull request #298 from FStarLang/gebner_fix_krml

Update karamel output.
FStarLang · Jan 7, 2025 · a6b3a55 · a6b3a55
2 parents ccdb0aa + 24e27cf
commit a6b3a55
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/test/Example_Hashtable.c.expected b/test/Example_Hashtable.c.expected
@@ -36,8 +36,9 @@ static cell__size_t_Example_Hashtable_data
   KRML_CHECK_SIZE(sizeof (cell__size_t_Example_Hashtable_data), n);
   cell__size_t_Example_Hashtable_data
   *buf = KRML_HOST_MALLOC(sizeof (cell__size_t_Example_Hashtable_data) * n);
-  for (uint32_t _i = 0U; _i < n; ++_i)
-    buf[_i] = x;
+  if (buf != NULL)
+    for (uint32_t _i = 0U; _i < n; ++_i)
+      buf[_i] = x;
   return buf;
 }