src/Pure/sign.ML

--- a/src/Pure/sign.ML	Sat Dec 04 15:14:28 2010 +0100
+++ b/src/Pure/sign.ML	Sat Dec 04 18:41:12 2010 +0100
@@ -499,7 +499,7 @@
 
 fun gen_trrules f args thy = thy |> map_syn (fn syn =>
   let val rules = map (Syntax.map_trrule (apfst (intern_type thy))) args
-  in f (ProofContext.init_global thy) (is_logtype thy) syn rules syn end);
+  in f (ProofContext.init_global thy) syn rules syn end);
 
 val add_trrules = gen_trrules Syntax.update_trrules;
 val del_trrules = gen_trrules Syntax.remove_trrules;