1.1 --- a/test/Tools/isac/Knowledge/logexp.sml	Thu May 14 16:58:33 2020 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/logexp.sml	Fri May 15 11:46:43 2020 +0200
     1.3 @@ -58,6 +58,6 @@
     1.4  val (p,_,f,nxt,_,pt) = me nxt p c pt;f2str f;
     1.5  val (p,_,f,nxt,_,pt) = me nxt p c pt;f2str f;
     1.6  val (p,_,f,nxt,_,pt) = me nxt p c pt;f2str f;
     1.7 -show_pt pt;
     1.8 +Test_Tool.show_pt pt;
     1.9  ============ inhibit exn 110726 ==============================================*)
    1.10