--- 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
--- 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
--- 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);
-