1.1 --- a/src/Tools/isac/BaseDefinitions/termC.sml	Wed Apr 15 11:11:54 2020 +0200
     1.2 +++ b/src/Tools/isac/BaseDefinitions/termC.sml	Wed Apr 15 11:37:43 2020 +0200
     1.3 @@ -9,7 +9,7 @@
     1.4  sig
     1.5    type as_string
     1.6    val empty: term
     1.7 -  val type_empty: typ
     1.8 +  val typ_empty: typ
     1.9  
    1.10    datatype lrd = D | L | R
    1.11    type path
    1.12 @@ -115,7 +115,7 @@
    1.13  
    1.14  type as_string = UnparseC.term_as_string
    1.15  val empty = UnparseC.term_empty
    1.16 -val type_empty = UnparseC.type_empty
    1.17 +val typ_empty = UnparseC.typ_empty
    1.18  
    1.19  datatype lrd = L (*t1 in "t1$t2"*)
    1.20               | R (*t2 in "t1$t2"*) | D; (*b in Abs(_,_,b*)