diff -r 7b11de7fcaea -r 20138d6136cd test/Tools/isac/Knowledge/diffapp.sml
--- a/test/Tools/isac/Knowledge/diffapp.sml	Thu Mar 10 15:19:26 2011 +0100
+++ b/test/Tools/isac/Knowledge/diffapp.sml	Thu Mar 10 16:04:00 2011 +0100
@@ -488,7 +488,7 @@
 "1 < length_ [A = a * b, (a / 2) ^^^ 2 + (b / 2) ^^^ 2 = r ^^^ 2]";
 val SOME (s',_) = rewrite_set_ thy false list_rls s;
 val s'' = term2str s';
-if s''="True" then () else error "new behaviour with list_rls 1.2.";
+if s''="HOL.True" then () else error "new behaviour with list_rls 1.2.";
 
 (*--- 2.line in script ---*)
 val t = str2term