# HG changeset patch
# User wenzelm
# Date 1509302343 -3600
# Node ID d0f12783cd80b3e63a5b1bc7e06b45e0ec0df6f5
# Parent  b86513bcf7acc88379ce923995b8b18366966125
more recent polyml-test version;

diff -r b86513bcf7ac -r d0f12783cd80 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Sun Oct 29 07:46:28 2017 +0100
+++ b/Admin/components/components.sha1	Sun Oct 29 19:39:03 2017 +0100
@@ -159,6 +159,7 @@
 c629cd499a724bbe37b962f727e4ff340c50299d  polyml-test-8529546198aa.tar.gz
 2b7c02b67feb2f44dda6938a7244f4257e7c580c  polyml-test-905dae2ebfda.tar.gz
 b4ceeaac47f3baae41c2491a8368b03217946166  polyml-test-e7a662f8f9c4.tar.gz
+609c7d09d3ed01156ff91261e801e2403ff93729  polyml-test-e8d82343b692.tar.gz
 53123dc011b2d4b4e8fe307f3c9fa355718ad01a  postgresql-42.1.1.tar.gz
 3a5d31377ec07a5069957f5477a4848cfc89a594  postgresql-42.1.4.tar.gz
 f132329ca1045858ef456cc08b197c9eeea6881b  postgresql-9.4.1212.tar.gz
diff -r b86513bcf7ac -r d0f12783cd80 Admin/components/main
--- a/Admin/components/main	Sun Oct 29 07:46:28 2017 +0100
+++ b/Admin/components/main	Sun Oct 29 19:39:03 2017 +0100
@@ -10,7 +10,7 @@
 jortho-1.0-2
 kodkodi-1.5.2
 nunchaku-0.5
-polyml-test-905dae2ebfda
+polyml-test-e8d82343b692
 postgresql-42.1.4
 scala-2.12.3
 smbc-0.4.1
diff -r b86513bcf7ac -r d0f12783cd80 src/Pure/General/table.ML
--- a/src/Pure/General/table.ML	Sun Oct 29 07:46:28 2017 +0100
+++ b/src/Pure/General/table.ML	Sun Oct 29 19:39:03 2017 +0100
@@ -433,4 +433,3 @@
 structure Symtab = Table(type key = string val ord = fast_string_ord);
 structure Symreltab = Table(type key = string * string
   val ord = prod_ord fast_string_ord fast_string_ord);
-