Run `make grand-replace'.

[lilypond.git] / lily / include / profile.hh

diff --git a/lily/include/profile.hh b/lily/include/profile.hh
index 65986bc658f898ae5e99c5420d81e9763e94a221..82c206c09cac6665a0aaa15244eba8d1a42803c4 100644 (file)
--- a/lily/include/profile.hh
+++ b/lily/include/profile.hh
@@ -3,7 +3,7 @@
 
   source file of the GNU LilyPond music typesetter
 
-  (c) 2005 Han-Wen Nienhuys <hanwen@xs4all.nl>
+  (c) 2005--2008 Han-Wen Nienhuys <hanwen@xs4all.nl>
 */
 
 #ifndef PROFILE_HH
@@ -14,5 +14,7 @@
 void note_property_access (SCM *table, SCM sym);
 extern SCM context_property_lookup_table;
 extern SCM grob_property_lookup_table;
+extern SCM prob_property_lookup_table;
+extern bool profile_property_accesses;
 
 #endif /* PROFILE_HH */