1.1 --- a/test/Tools/isac/BridgeLibisabelle/use-cases.sml	Mon May 18 11:58:55 2020 +0200
     1.2 +++ b/test/Tools/isac/BridgeLibisabelle/use-cases.sml	Mon May 18 14:02:54 2020 +0200
     1.3 @@ -153,7 +153,7 @@
     1.4  (*8*)  setNextTactic 1 (Apply_Method ["Test","solve_linear"]);
     1.5     (*ERROR.110620 <SETNEXTTACTIC>..<MESSAGE> end-of-calculation*)
     1.6   val (ptp as (pt,p), tacis) = get_calc 1; get_pos 1 1;
     1.7 - is_complete_mod ptp;
     1.8 + Specification.is_complete ptp;
     1.9   References.are_complete ptp;
    1.10  
    1.11  (*8*)  autoCalculate 1 (Steps 1); refFormula 1 (get_pos 1 1); (*<---------------------- orig. test code*)