# HG changeset patch
# User wenzelm
# Date 1509018281 -7200
# Node ID aefaaef29c585abeb4216f7cfae1ecfb62b155f9
# Parent  1f93e376aeb68132f1138a319366f4d90070fbfb
use Poly/ML 5.7.1 test version as default;

diff -r 1f93e376aeb6 -r aefaaef29c58 Admin/components/main
--- a/Admin/components/main	Wed Oct 25 14:54:28 2017 +0200
+++ b/Admin/components/main	Thu Oct 26 13:44:41 2017 +0200
@@ -10,7 +10,7 @@
 jortho-1.0-2
 kodkodi-1.5.2
 nunchaku-0.5
-polyml-5.6-2
+polyml-test-905dae2ebfda
 postgresql-42.1.4
 scala-2.12.3
 smbc-0.4.1
diff -r 1f93e376aeb6 -r aefaaef29c58 src/Pure/library.ML
--- a/src/Pure/library.ML	Wed Oct 25 14:54:28 2017 +0200
+++ b/src/Pure/library.ML	Thu Oct 26 13:44:41 2017 +0200
@@ -1036,4 +1036,3 @@
 
 structure Basic_Library: BASIC_LIBRARY = Library;
 open Basic_Library;
-