Merge branch 'agda:master' into Ordinal

agda · Oct 30, 2023 · a104478 · a104478
2 parents 215d886 + b0c105f
commit a104478
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/GNUmakefile b/GNUmakefile
@@ -2,7 +2,7 @@ AGDA_BIN?=agda
 AGDA_FLAGS?=-W error
 AGDA_EXEC?=$(AGDA_BIN) $(AGDA_FLAGS)
 FIX_WHITESPACE?=fix-whitespace
-RTS_OPTIONS=+RTS -H3G -RTS
+RTS_OPTIONS=+RTS -H6G -RTS
 AGDA=$(AGDA_EXEC) $(RTS_OPTIONS)
 RUNHASKELL?=runhaskell
 EVERYTHINGS=$(RUNHASKELL) ./Everythings.hs