]> git.donarmstrong.com Git - lilypond.git/blobdiff - lily/include/profile.hh
Run `make grand-replace'.
[lilypond.git] / lily / include / profile.hh
index 83206f686fd48f1f42359aa586e1ffe535fc6eef..82c206c09cac6665a0aaa15244eba8d1a42803c4 100644 (file)
@@ -1,10 +1,9 @@
 /*
-  profile.hh -- declare property profiling utils. 
+  profile.hh -- declare property profiling utils.
 
   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
@@ -15,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 */