From f6fe430400298d1fcda030ad37737be485df756d Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Wed, 6 Jan 2016 14:52:30 -0800
Subject: [PATCH] stack.yaml, stack.full.yaml - use lts-4.0 resolver.

---
 stack.full.yaml | 2 +-
 stack.yaml      | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/stack.full.yaml b/stack.full.yaml
index 8c7d3ad1e..f9e339408 100644
--- a/stack.full.yaml
+++ b/stack.full.yaml
@@ -14,4 +14,4 @@ packages:
 - '../texmath'
 extra-deps:
 - 'cmark-0.5.0'
-resolver: lts-3.20
+resolver: lts-4.0
diff --git a/stack.yaml b/stack.yaml
index 17b4b7f99..9993e987f 100644
--- a/stack.yaml
+++ b/stack.yaml
@@ -11,4 +11,4 @@ extra-deps:
 - 'cmark-0.5.0'
 - 'pandoc-citeproc-0.9'
 - 'pandoc-types-1.16.0.1'
-resolver: lts-3.20
+resolver: lts-4.0