wip: Main

build fix, still many things to do...
Inria-Prosecco · Jul 1, 2024 · 2ac264b · 2ac264b
1 parent 94f3946
commit 2ac264b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Main.fsti b/src/Main.fsti
@@ -155,7 +155,7 @@ val init_all_arenas
     A.varray size_classes
   )
   (requires fun h0 ->
-    array_u8_alignment (A.split_r slab_region (US.mul arena_slab_region_size 0sz)) (u32_to_sz page_size) /\
+    array_u8_alignment (A.split_r slab_region (US.mul arena_slab_region_size 0sz)) page_size /\
     zf_u8 (A.asel slab_region h0) /\
     zf_u64 (A.asel md_bm_region h0) /\
     zf_b (A.asel md_bm_region_b h0) /\