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