src/Pure/Isar/object_logic.ML

--- a/src/Pure/Isar/object_logic.ML	Sat Oct 13 17:16:40 2007 +0200
+++ b/src/Pure/Isar/object_logic.ML	Sat Oct 13 17:16:41 2007 +0200
@@ -69,7 +69,7 @@
   let val c = Sign.full_name thy (Syntax.const_name bname mx) in
     thy
     |> add_consts [(bname, T, mx)]
-    |> (fn thy' => Theory.add_finals_i false [(Const (c, Sign.the_const_type thy' c))] thy')
+    |> (fn thy' => Theory.add_deps c (c, Sign.the_const_type thy' c) [] thy')
     |> ObjectLogicData.map (new_judgment c)
   end;