1.1 --- a/test/Tools/isac/Interpret/lucas-interpreter.sml	Wed Jun 03 09:56:24 2020 +0200
     1.2 +++ b/test/Tools/isac/Interpret/lucas-interpreter.sml	Wed Jun 03 11:25:19 2020 +0200
     1.3 @@ -383,7 +383,7 @@
     1.4      (*if*)  ip = ([], Res) (*else*);
     1.5        val _ = (*case*) tacis (*of*);
     1.6        val SOME _ = (*case*) pIopt (*of*);
     1.7 -      (*if*) Library.member op = [Pos.Pbl, Pos.Met] p_ (*else*);
     1.8 +      (*if*) member op = [Pos.Pbl, Pos.Met] p_ (*else*);
     1.9  
    1.10  val ("ok", ([(Rewrite_Set "norm_Poly", _, _)], _, (_, ([1], Res)))) =
    1.11  Step_Solve.do_next (pt, ip);
    1.12 @@ -434,7 +434,7 @@
    1.13      (*if*)  ip = ([], Res) (*else*);
    1.14        val _ = (*case*) tacis (*of*);
    1.15        val SOME _ = (*case*) pIopt (*of*);
    1.16 -      (*if*) Library.member op = [Pos.Pbl, Pos.Met] p_ (*else*);
    1.17 +      (*if*) member op = [Pos.Pbl, Pos.Met] p_ (*else*);
    1.18  
    1.19  val ("ok", ([(Check_Postcond ["polynomial", "simplification"], _, _)], _, (_, ([], Res)))) =
    1.20  Step_Solve.do_next (pt, ip);