1.1 --- a/test/Tools/isac/OLDTESTS/modspec.sml	Tue Sep 28 08:58:06 2010 +0200
     1.2 +++ b/test/Tools/isac/OLDTESTS/modspec.sml	Tue Sep 28 09:06:56 2010 +0200
     1.3 @@ -31,10 +31,10 @@
     1.4      [([], Pbl), ([1], Frm),([1], Res), ([2], Res), ([3], Pbl), ([3, 1], Frm), 
     1.5       ([3, 1], Res), ([3, 2, 1], Frm), ([3, 2, 1], Res), ([3, 2, 2], Res),
     1.6        ([3, 2], Res)] then () else
     1.7 -raise error "modspec.sml: diff.behav. get_interval after replace} other 2 a";
     1.8 +error "modspec.sml: diff.behav. get_interval after replace} other 2 a";
     1.9  
    1.10  print_depth 99;map fst (get_interval ([3, 2, 1], Res) ([],Res) 9999 pt);
    1.11  print_depth 3;
    1.12  if map fst (get_interval ([3, 2, 1], Res) ([],Res) 9999 pt) = 
    1.13      [([3, 2, 1], Res), ([3, 2, 2], Res), ([3, 2], Res)] then () else
    1.14 -raise error "modspec.sml: diff.behav. get_interval after replace} other 2 b";
    1.15 +error "modspec.sml: diff.behav. get_interval after replace} other 2 b";