1.1 --- a/src/Tools/isac/Specify/i-model.sml	Tue Mar 07 16:06:18 2023 +0100
     1.2 +++ b/src/Tools/isac/Specify/i-model.sml	Wed Mar 08 17:47:07 2023 +0100
     1.3 @@ -11,6 +11,7 @@
     1.4    type T
     1.5    type T_TEST
     1.6    val empty: T
     1.7 +  val empty_TEST: T_TEST
     1.8    type single
     1.9    type single_TEST
    1.10    val empty_single: single
    1.11 @@ -92,6 +93,7 @@
    1.12  type single_TEST = Model_Def.i_model_single_TEST;
    1.13  val empty_single = Model_Def.i_model_empty;
    1.14  val empty = []: T;
    1.15 +val empty_TEST = []: T_TEST;
    1.16  type message = string;
    1.17  
    1.18  fun pen2str ctxt (t, ts) =
    1.19 @@ -456,6 +458,7 @@
    1.20    in
    1.21      itms @ (map (complete' met) os)
    1.22    end
    1.23 +val complete_Test = complete
    1.24  
    1.25  (* complete model and guard of a calc-head *)
    1.26  fun complete_method (oris, mpc, model, probl) =