src/Pure/codegen.ML

--- a/src/Pure/codegen.ML	Fri Jan 13 01:12:59 2006 +0100
+++ b/src/Pure/codegen.ML	Fri Jan 13 01:13:00 2006 +0100
@@ -1195,7 +1195,7 @@
      || 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 =