fix LEAN_MAX_SMALL_INT for 32bit

abentkamp · Sep 15, 2023 · 24634b1 · 24634b1
1 parent e4ef738
commit 24634b1
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/stage0/src/include/lean/lean.h b/stage0/src/include/lean/lean.h