--- a/src/Tools/Metis/make_metis Wed Sep 15 16:16:33 2010 +0200
+++ b/src/Tools/Metis/make_metis Wed Sep 15 16:17:05 2010 +0200
@@ -41,9 +41,6 @@
's/type name$/type name = string/;'\
's/\bref\b/Unsynchronized.ref/g;'\
's/\bPolyML.pointerEq\b/pointer_eq/g;'\
-'s/(?<!\.)\bexplode\b/String.explode/g;'\
-'s/(?<!\.)\bimplode\b/String.implode/g;'\
-'s/(?<!\.)\bprint\b/TextIO.print/g;'\
's/\bRL\b/Metis_RL/g;'\
"`grep "^\(signature\|structure\|functor\)" src/*.{sig,sml} | \
sed "s/[^:]*:[a-z]* \([A-Za-z0-9_]*\).*/\1/" | \