Merge branch 'master' of git+ssh://jneem@git.sv.gnu.org/srv/git/lilypond into jneeman

[lilypond.git] / lily / context.cc

diff --git a/lily/context.cc b/lily/context.cc
index da83c9a98c07dc7242d3e84ae32420fe0dd939bb..3c982751fd6635e1822ad525a54471a2fb893a07 100644 (file)
--- a/lily/context.cc
+++ b/lily/context.cc
@@ -460,6 +460,13 @@ Context::add_alias (SCM sym)
   aliases_ = scm_cons (sym, aliases_);
 }
 
+/* we don't (yet) instrument context properties */
+void
+Context::instrumented_set_property (SCM sym, SCM val, const char*, int, const char*)
+{
+  internal_set_property (sym, val);
+}
+
 void
 Context::internal_set_property (SCM sym, SCM val)
 {