# HG changeset patch
# User Lars Hupel <lars.hupel@mytum.de>
# Date 1545928579 -3600
# Node ID 04e54f57a8691dacb23d28760b17f50c6d4bf436
# Parent  7d59af98af29c2fca1ba3c07bf6055c4984c89f9
update LTS Haskell version

diff -r 7d59af98af29 -r 04e54f57a869 etc/settings
--- a/etc/settings	Wed Dec 26 20:57:23 2018 +0100
+++ b/etc/settings	Thu Dec 27 17:36:19 2018 +0100
@@ -153,9 +153,9 @@
 
 ISABELLE_STACK_ROOT="$ISABELLE_HOME_USER/stack"
 
-ISABELLE_STACK_RESOLVER="lts-12.13"
+ISABELLE_STACK_RESOLVER="lts-13.0"
 
-ISABELLE_GHC_VERSION="ghc-8.4.3"
+ISABELLE_GHC_VERSION="ghc-8.6.3"
 
 
 ###
diff -r 7d59af98af29 -r 04e54f57a869 src/Pure/General/path.ML
--- a/src/Pure/General/path.ML	Wed Dec 26 20:57:23 2018 +0100
+++ b/src/Pure/General/path.ML	Thu Dec 27 17:36:19 2018 +0100
@@ -239,4 +239,3 @@
 val explode = explode_path;
 
 end;
-