1.1 --- a/src/Tools/isac/BaseDefinitions/termC.sml	Sun Aug 08 15:21:33 2021 +0200
     1.2 +++ b/src/Tools/isac/BaseDefinitions/termC.sml	Mon Aug 09 11:19:25 2021 +0200
     1.3 @@ -323,6 +323,7 @@
     1.4      fun scan vs (t as Const (s, _) $ arg) =
     1.5          if is_num t then vs else scan (s :: vs) arg
     1.6        | scan vs (Const (s as "Partial_Fractions.AA", _)) = s :: vs (*how get rid of spec.case?*)
     1.7 +      | scan vs (Const (s as "Partial_Fractions.BB", _)) = s :: vs (*how get rid of spec.case?*)
     1.8        | scan vs (Const _) = vs
     1.9        | scan vs (Free (s, _)) = if is_num' s then vs else s :: vs
    1.10        | scan vs (Var ((s, i), _)) = (s ^ "_" ^ string_of_int i) :: vs