From 9c7a57d64826f6c00893f853bb79d49bbc30bb06 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Thu, 28 Mar 2019 17:02:23 -0700
Subject: [PATCH] stack.yml - remove -Wmissing-home-modules

This seems to cause problems with stack ghci.
---
 stack.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/stack.yaml b/stack.yaml
index aa594cde7..dcc5fdae9 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
+   "$locals": -Wall -fno-warn-unused-do-bind -Wincomplete-record-updates -Wnoncanonical-monad-instances -Wnoncanonical-monadfail-instances -Wincomplete-uni-patterns -Widentities -Wcpp-undef -fhide-source-paths
 resolver: lts-13.9