1.1 --- a/test/Tools/isac/OLDTESTS/root-equ.sml	Mon Nov 04 11:40:29 2019 +0100
     1.2 +++ b/test/Tools/isac/OLDTESTS/root-equ.sml	Wed Nov 06 15:08:27 2019 +0100
     1.3 @@ -28,7 +28,7 @@
     1.4  
     1.5  (*
     1.6  > val t = (Thm.term_of o the o (parse thy)) "#2^^^#3";
     1.7 -> val eval_fn = the (assoc (!eval_list, "pow"));
     1.8 +> val eval_fn = the (LibraryC.assoc (!eval_list, "pow"));
     1.9  > val (SOME (id,t')) = get_pair thy "pow" eval_fn t;
    1.10  > Syntax.string_of_term (thy2ctxt thy) t';
    1.11  *)