Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et commandes vernaculaires (cf dev/changements.txt pour plus de précisions)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2722 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 2 insertions, 0 deletions

diff --git a/toplevel/recordobj.ml b/toplevel/recordobj.ml
index 50f2ef83b..92c8e5524 100755
--- a/toplevel/recordobj.ml
+++ b/toplevel/recordobj.ml
@@ -72,3 +72,5 @@ let objdef_declare ref =
   List.iter
     (fun (refi,c,argj) -> add_new_objdef ((refi,c),v,lt,params,argj))
     comp
+
+let add_object_hook _ = objdef_declare