1.1 --- a/test/Tools/isac/Minisubpbl/300-init-subpbl-NEXT_STEP.sml	Wed Apr 15 16:46:41 2020 +0200
     1.2 +++ b/test/Tools/isac/Minisubpbl/300-init-subpbl-NEXT_STEP.sml	Wed Apr 15 18:00:58 2020 +0200
     1.3 @@ -55,7 +55,7 @@
     1.4        | _ => error "begin_end_prog Apply_Method': uncovered case get_obj"
     1.5        val itms = if itms <> [] then itms else Chead.complete_metitms oris probl [] ppc
     1.6        val thy' = get_obj g_domID pt p;
     1.7 -      val thy = Celem.assoc_thy thy';
     1.8 +      val thy = ThyC.get_theory thy';
     1.9        val srls = LItool.get_simplifier (pt, pos);
    1.10  
    1.11    (*if*) mI = ["Biegelinien", "ausBelastung"] (*else*);