From 2ac264b75b763a546be9419ad426ad567c9af4f1 Mon Sep 17 00:00:00 2001
From: Antonin Reitz <antonin.reitz@inria.fr>
Date: Mon, 1 Jul 2024 17:09:07 +0200
Subject: [PATCH] wip: Main

build fix,
still many things to do...
---
 src/Main.fsti | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Main.fsti b/src/Main.fsti
index 72cb0ec..ef98559 100644
--- 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) /\