switch the heap suggestions off again

agda · Jan 22, 2024 · 1620999 · 1620999
1 parent 952be07
commit 1620999
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 -H6G -RTS
+RTS_OPTIONS=
 AGDA=$(AGDA_EXEC) $(RTS_OPTIONS)
 RUNHASKELL?=runhaskell
 EVERYTHINGS=$(RUNHASKELL) ./Everythings.hs