1.1 --- a/src/Tools/isac/Specify/i-model.sml	Tue Jun 20 06:26:18 2023 +0200
     1.2 +++ b/src/Tools/isac/Specify/i-model.sml	Thu Jul 13 10:51:16 2023 +0200
     1.3 @@ -71,7 +71,9 @@
     1.4    val is_complete_variant: int -> T_TEST-> bool
     1.5  
     1.6    val of_max_variant: Model_Pattern.T -> T_TEST -> T_TEST * Pre_Conds.env_subst * Pre_Conds.env_eval
     1.7 -
     1.8 +(*
     1.9 +  val of_max_variant: Model_Pattern.T -> T_TEST -> T_TEST * Env.T
    1.10 +*)
    1.11  (*from isac_test for Minisubpbl*)
    1.12    val penv_to_string: Proof.context -> T -> string
    1.13