Merge pull request #673 from CakeML/ag32-heap-size-80-mb

Set heap size of Ag32 programs to 80 MB
CakeML · Jul 28, 2019 · 7e34c9d · 7e34c9d
2 parents 5a0dba8 + 7507ba7
commit 7e34c9d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/compiler/backend/ag32/ag32_memoryScript.sml b/compiler/backend/ag32/ag32_memoryScript.sml
@@ -288,7 +288,7 @@ val output_buffer_size_def = Define`
   output_buffer_size = 2048n`;
 
 val heap_size_def = Define`
-  heap_size = 100 * 1024 * 1024n`;
+  heap_size = 80 * 1024 * 1024n`;
 
 val startup_code_size_def = Define`
   startup_code_size = 240n`;