diff -r 7f4cfec6b910 -r 69364e021751 src/Tools/isac/Interpret/appl.sml
--- a/src/Tools/isac/Interpret/appl.sml	Tue Jan 11 15:28:03 2011 +0100
+++ b/src/Tools/isac/Interpret/appl.sml	Mon Feb 21 19:40:36 2011 +0100
@@ -207,7 +207,7 @@
 let fun scan s' [] = (implode s', "")
       | scan s' (s::ss) = if s=" " then (implode s', implode  ss)
 			  else scan (s'@[s]) ss;
-in ((scan []) o explode) str end;
+in ((scan []) o Symbol.explode) str end;
 (* split_dummy "subproblem_equation_dummy (x=-#5//#12)";
 val it = ("subproblem_equation_dummy","(x=-#5//#12)") : string * string
 > split_dummy "x=-#5//#12";