1.1 --- a/src/Tools/isac/Interpret/calchead.sml	Mon Sep 13 18:37:16 2010 +0200
     1.2 +++ b/src/Tools/isac/Interpret/calchead.sml	Tue Sep 14 12:12:42 2010 +0200
     1.3 @@ -931,9 +931,10 @@
     1.4     of a SubProblem ? see ME/ptyps.sml 'type met '.*)
     1.5  fun is_copy_named_idstr str =
     1.6      case (rev o explode) str of
     1.7 -	"_"::_::"_"::_ => true
     1.8 +      (*"_"::_  ::"_"::_ => true*)
     1.9 +	"'"::"'"::"'"::_ => true
    1.10        | _ => false;
    1.11 -(*> is_copy_named_idstr "v_i_";
    1.12 +(*> is_copy_named_idstr "v_i'''";
    1.13  val it = true : bool
    1.14    > is_copy_named_idstr "e_";
    1.15  val it = false : bool 
    1.16 @@ -947,7 +948,7 @@
    1.17  	"_"::"_"::"_"::_ => false
    1.18        | _ => true
    1.19      else false;
    1.20 -(*> is_copy_named_generating_idstr "v_i_";
    1.21 +(*> is_copy_named_generating_idstr "v_i'''";
    1.22  val it = true : bool
    1.23    > is_copy_named_generating_idstr "L___";
    1.24  val it = false : bool