1.1 --- a/src/Tools/isac/Interpret/ptyps.sml	Wed Feb 14 10:54:53 2018 +0100
     1.2 +++ b/src/Tools/isac/Interpret/ptyps.sml	Wed Feb 14 12:20:35 2018 +0100
     1.3 @@ -340,7 +340,7 @@
     1.4           calc =
     1.5             if scr = "empty_script"
     1.6             then []
     1.7 -           else ((assoc_calc' thy |> map) o (map op_of_calc) o (filter is_calc) o stacpbls) sc, 
     1.8 +           else ((assoc_calc' thy |> map) o (map LTool.op_of_calc) o (filter LTool.is_calc) o LTool.stacpbls) sc, 
     1.9           crls = cr, errpats = ep, nrls = nr, scr = Prog sc}: met, metID: metID)
    1.10      end;
    1.11