1.1 --- a/test/Tools/isac/Minisubpbl/710-interSteps-short.sml	Tue Aug 16 14:47:05 2022 +0200
     1.2 +++ b/test/Tools/isac/Minisubpbl/710-interSteps-short.sml	Tue Aug 16 15:53:20 2022 +0200
     1.3 @@ -78,3 +78,5 @@
     1.4    "4.   [x = 1]\n"
     1.5  (*".  [x = 1]"                           only by Test_Tool.show_pt_tac*)
     1.6  then () else error "intermediate steps CHANGED";
     1.7 +
     1.8 +(*ctxt*)Proof_Context.theory_of (Ctree.get_ctxt pt p); (*"Test"*)