--- a/src/Tools/Metis/scripts/mlpp Wed Sep 15 22:24:35 2010 +0200
+++ b/src/Tools/Metis/scripts/mlpp Thu Sep 16 07:24:04 2010 +0200
@@ -1,6 +1,6 @@
#!/usr/bin/perl
-# Copyright (c) 2006 Joe Hurd, All Rights Reserved
+# Copyright (c) 2006 Joe Hurd, distributed under the MIT license
use strict;
use warnings;
@@ -78,6 +78,8 @@
$text =~ s/Array\.modifyi/Array_modifyi/g;
$text =~ s/OS\.Process\.isSuccess/OS_Process_isSuccess/g;
$text =~ s/PP\.ppstream/ppstream/g;
+ $text =~ s/String\.concatWith/String_concatWith/g;
+ $text =~ s/String\.isSubstring/String_isSubstring/g;
$text =~ s/String\.isSuffix/String_isSuffix/g;
$text =~ s/Substring\.full/Substring_full/g;
$text =~ s/TextIO\.inputLine/TextIO_inputLine/g;