1.1 --- a/src/Tools/isac/Specify/i-model.sml	Thu Dec 07 11:54:42 2023 +0100
     1.2 +++ b/src/Tools/isac/Specify/i-model.sml	Thu Dec 07 16:14:32 2023 +0100
     1.3 @@ -53,7 +53,7 @@
     1.4    (*probably unused in PIDE, thus-----v----v*)
     1.5    val add_single: theory -> single_POS -> T_POS -> T_POS
     1.6  
     1.7 -  val make_tactic: m_field -> TermC.as_string * T -> Tactic.T
     1.8 +  val make_tactic: m_field -> TermC.as_string * T_POS -> Tactic.T
     1.9  
    1.10    val descriptor: feedback -> descriptor
    1.11    val descriptor_POS: feedback_POS -> descriptor