1.1 --- a/test/Tools/isac/Minisubpbl/300-init-subpbl.sml	Fri Feb 09 11:16:05 2018 +0100
     1.2 +++ b/test/Tools/isac/Minisubpbl/300-init-subpbl.sml	Fri Feb 09 11:45:53 2018 +0100
     1.3 @@ -57,7 +57,7 @@
     1.4                   :
     1.5                   case assod pt d m stac of
     1.6  "~~~~~ fun assod, args:"; val (...Subproblem'...) = ();
     1.7 -	      val ctxt = dI |> Thy_Info.get_theory |> Proof_Context.init_global 
     1.8 +	      val ctxt = dI |> Thy_Info_get_theory |> Proof_Context.init_global 
     1.9            |> declare_constraints' vals
    1.10  *)
    1.11