From 33476b30f9fbba76d260cd985754a37df197febc Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Thu, 28 Mar 2019 08:58:11 -0700
Subject: [PATCH] stack.yaml: remove RTS options

---
 stack.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/stack.yaml b/stack.yaml
index e292e2976..aa594cde7 100644
--- a/stack.yaml
+++ b/stack.yaml
@@ -18,5 +18,5 @@ extra-deps:
 - texmath-0.11.2.2
 - cmark-gfm-0.1.8
 ghc-options:
-   "$locals": -Wall -fno-warn-unused-do-bind -Wincomplete-record-updates -Wnoncanonical-monad-instances -Wnoncanonical-monadfail-instances -Wincomplete-uni-patterns -Werror=missing-home-modules -Widentities -Wcpp-undef -fhide-source-paths "+RTS -A32M -RTS"
+   "$locals": -Wall -fno-warn-unused-do-bind -Wincomplete-record-updates -Wnoncanonical-monad-instances -Wnoncanonical-monadfail-instances -Wincomplete-uni-patterns -Werror=missing-home-modules -Widentities -Wcpp-undef -fhide-source-paths
 resolver: lts-13.9