1.1 --- a/src/Tools/isac/calcelems.sml	Wed Feb 07 11:27:38 2018 +0100
     1.2 +++ b/src/Tools/isac/calcelems.sml	Wed Feb 07 12:51:53 2018 +0100
     1.3 @@ -240,7 +240,7 @@
     1.4  
     1.5  (* Since Isabelle2017 sessions in theory identifiers are enforced.
     1.6    However, we leave theory identifiers short, in particular in use as keys into KEStore. *)
     1.7 -fun Thy_Info_get_theory thyID = Thy_Info_get_theory ("Isac." ^ thyID)
     1.8 +fun Thy_Info_get_theory thyID = Thy_Info.get_theory ("Isac." ^ thyID)
     1.9       
    1.10  fun term_to_string' ctxt t =
    1.11    let