1.1 --- a/src/Tools/isac/Specify/test-out.sml	Wed Feb 03 15:21:12 2021 +0100
     1.2 +++ b/src/Tools/isac/Specify/test-out.sml	Wed Feb 03 16:39:44 2021 +0100
     1.3 @@ -7,7 +7,7 @@
     1.4  
     1.5  signature TEST_OUTPUT =
     1.6  sig
     1.7 -  datatype pblmet = Method of Method.id | Problem of Problem.id | Upblmet
     1.8 +  datatype pblmet = MethodC of MethodC.id | Problem of Problem.id | Upblmet
     1.9    datatype mout =
    1.10      EmptyMout
    1.11    | Error' of string
    1.12 @@ -34,9 +34,9 @@
    1.13  datatype pblmet =
    1.14    Upblmet
    1.15  | Problem of Problem.id
    1.16 -| Method of Method.id;
    1.17 +| MethodC of MethodC.id;
    1.18  fun pblmet2str (Problem pblID) = "Problem " ^ strs2str pblID (*%^%*)
    1.19 -  | pblmet2str (Method metID) = "Method " ^ Method.id_to_string metID (*%^%*)
    1.20 +  | pblmet2str (MethodC metID) = "MethodC " ^ MethodC.id_to_string metID (*%^%*)
    1.21    | pblmet2str x = raise ERROR ("pblmet2str: uncovered definition " ^ pblmet2str x)
    1.22  
    1.23  (*3.5.00: TODO: foppFK eliminated in interface FE-KE !!!*)