diff -r 4c232a2ddeab -r 16901b0392c6 Admin/polyml/README
--- a/Admin/polyml/README	Sun Dec 06 23:10:08 2015 +0100
+++ b/Admin/polyml/README	Sun Dec 06 23:17:48 2015 +0100
@@ -2,7 +2,7 @@
 ====================
 
 This is a preview of Poly/ML 5.6, based on
-https://github.com/polyml/polyml/ commit b49eb17ab516.
+https://github.com/polyml/polyml/ commit b97488071c19.
 
 The included build script is used like this: