Merge pull request idris-lang#4326 from jfdm/lts-10.4

Bump Idris to compile against LTS 10.4.
Idris-zh · Feb 13, 2018 · a47ec34 · a47ec34
2 parents e96f3bb + 575cc50
commit a47ec34
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/stack.yaml b/stack.yaml
@@ -1,5 +1,5 @@
 #recheck extra-deps next on resolver or cabal file change
-resolver: lts-10.0
+resolver: lts-10.4
 
 packages:
   - location: .