src/Pure/codegen.ML

   (Scan.option (P.$$$ "[" |-- P.list1
     (   parse_test_params >> (fn f => fn thy => apfst (f thy))
      || parse_tyinst) --| P.$$$ "]") -- Scan.optional P.nat 1 >>
     (fn (ps, g) => Toplevel.keep (fn st =>
       test_goal (app (getOpt (Option.map
-          (map (fn f => f (Toplevel.sign_of st))) ps, []))
+          (map (fn f => f (Toplevel.theory_of st))) ps, []))
         (get_test_params (Toplevel.theory_of st), [])) g st)));
 
 val valueP =
   OuterSyntax.improper_command "value" "read, evaluate and print term" K.diag
     (P.term >> (Toplevel.no_timing oo print_evaluated_term));