1.1 --- a/test/Tools/isac/Interpret/ptyps.sml	Thu May 30 12:39:13 2019 +0200
     1.2 +++ b/test/Tools/isac/Interpret/ptyps.sml	Sat Jun 01 11:09:19 2019 +0200
     1.3 @@ -553,5 +553,5 @@
     1.4  "-------- fun get_fun_ids ----------------------------------------------------";
     1.5  val met_fun_ids = get_fun_ids @{theory Biegelinie};
     1.6  if map fst (get_fun_ids @{theory Biegelinie}) = 
     1.7 -  ["Biegelinie.Biegelinie2Script", "Biegelinie.Belastung2BiegelScript",
     1.8 -    "Biegelinie.SetzeRandbedScript"] then () else error "get_fun_ids changed"
     1.9 +  ["Biegelinie.function_to_equality", "Biegelinie.biegelinie", "Biegelinie.belastung_zu_biegelinie",
    1.10 +    "Biegelinie.setzte_randbedingungen"] then () else error "get_fun_ids changed"