1.1 --- a/src/Tools/isac/BaseDefinitions/parseC.sml	Mon Jan 30 09:47:18 2023 +0100
     1.2 +++ b/src/Tools/isac/BaseDefinitions/parseC.sml	Mon Jan 30 12:11:40 2023 +0100
     1.3 @@ -4,8 +4,8 @@
     1.4  *)
     1.5  signature PARSE_ISAC =
     1.6  sig
     1.7 +  val term_position: Proof.context -> string * Position.T -> term
     1.8    val pattern_position: Proof.context -> string * Position.T -> term
     1.9 -  val term_position: Proof.context -> string * Position.T -> term
    1.10  
    1.11    val term_opt: Proof.context -> string -> term option
    1.12    val patt_opt: theory -> string -> term option