1.1 --- a/src/Tools/isac/BaseDefinitions/termC.sml	Sun Apr 18 15:19:49 2021 +0200
     1.2 +++ b/src/Tools/isac/BaseDefinitions/termC.sml	Sun Apr 18 18:56:43 2021 +0200
     1.3 @@ -88,7 +88,7 @@
     1.4    val uminus_to_string: term -> term
     1.5  
     1.6    val var2free: term -> term
     1.7 -  val vars: term -> term list  (* recognises numverals, should replace "fun vars_of" *)
     1.8 +  val vars: term -> term list  (* recognises numerals, should replace "fun vars_of" *)
     1.9    val vars': term list -> term list
    1.10    val vars_of: term -> term list   (* deprecated *)
    1.11    val dest_list': term -> term list