diff -r a28b5fc129b7 -r 22235e4dbe5f src/Tools/isac/calcelems.sml
--- a/src/Tools/isac/calcelems.sml	Wed Aug 25 15:15:01 2010 +0200
+++ b/src/Tools/isac/calcelems.sml	Wed Aug 25 16:20:07 2010 +0200
@@ -342,7 +342,7 @@
 
 (*rewrite orders, also stored in 'type met' and type 'and rls'
   The association list is required for 'rewrite.."rew_ord"..'
-  WN0509 tests not well-organized: see smltest/IsacKnowledge/termorder.sml*)
+  WN0509 tests not well-organized: see smltest/Knowledge/termorder.sml*)
 val rew_ord' = 
     ref ([]:(rew_ord' *        (*the key for the association list         *)
 	     (subst 	       (*the bound variables - they get high order*)