1.1 --- a/src/Tools/isac/Specify/o-model.sml	Sun Oct 29 07:14:14 2023 +0100
     1.2 +++ b/src/Tools/isac/Specify/o-model.sml	Thu Nov 16 08:15:46 2023 +0100
     1.3 @@ -76,7 +76,7 @@
     1.4  type variants =  Model_Def.variants;
     1.5  type m_field = Model_Def.m_field;
     1.6  type descriptor = Model_Def.descriptor;
     1.7 -type values = Model_Def.values;
     1.8 +type values = Model_Pattern.values;
     1.9  type message = string;
    1.10  
    1.11  type T = Model_Def.o_model;