1.1 --- a/src/Tools/isac/BaseDefinitions/model-pattern.sml	Fri Jul 14 09:29:49 2023 +0200
     1.2 +++ b/src/Tools/isac/BaseDefinitions/model-pattern.sml	Fri Jul 14 09:49:42 2023 +0200
     1.3 @@ -39,7 +39,7 @@
     1.4      | Proper of (m_field * (descriptor * term) * Position.T)
     1.5    val parse_pattern: Proof.context -> 'a * (string * Position.T) -> 'a * term * Position.T
     1.6  
     1.7 -  val is_list_descr: term -> bool
     1.8 +  val is_list_descr: descriptor -> bool
     1.9    val empty_for: descriptor -> empty_input
    1.10    val parse_term: Proof.context -> m_field * ((*TermC.as_*)string * Position.T) ->
    1.11      m_field * term * Position.T