1.1 --- a/test/Tools/isac/Knowledge/biegelinie-4.sml	Wed Apr 22 11:23:30 2020 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/biegelinie-4.sml	Wed Apr 22 14:36:27 2020 +0200
     1.3 @@ -238,7 +238,7 @@
     1.4          val {ppc, pre, prls,...} = Specify.get_met mID
     1.5          val thy = ThyC.get_theory dI
     1.6          val dI'' = if dI = ThyC.id_empty then dI' else dI
     1.7 -        val pI'' = if pI = Spec.e_pblID then pI' else pI
     1.8 +        val pI'' = if pI = Problem.id_empty then pI' else pI
     1.9  ;
    1.10  (*+*)writeln (oris2str oris); (*[
    1.11  (1, ["1"], #Given,Streckenlast, ["q_0"]),