1.1 --- a/test/Tools/isac/MathEngBasic/ctree-navi.sml	Mon May 04 17:08:32 2020 +0200
     1.2 +++ b/test/Tools/isac/MathEngBasic/ctree-navi.sml	Mon May 04 18:47:27 2020 +0200
     1.3 @@ -176,9 +176,9 @@
     1.4  "----------- fun untouched ---------------------------------------------------------------------";
     1.5  (*> untouched [];
     1.6  val it = true : bool
     1.7 -> untouched [e_itm];
     1.8 +> untouched [I_Model.single_empty];
     1.9  val it = true : bool
    1.10 -> untouched [e_itm, (1,[],false,"e_itm",Syn "e_itm")];
    1.11 +> untouched [I_Model.single_empty, (1,[],false,"I_Model.single_empty",Syn "I_Model.single_empty")];
    1.12  val it = false : bool*)
    1.13  "----------- fun pbl_ids -----------------------------------------------------------------------";
    1.14  "----------- fun pbl_ids -----------------------------------------------------------------------";