Amend 9b1dc338b2. Fix compilation in GCC 4.9

diff --git a/src/support/Changer.h b/src/support/Changer.h
index 19a6b9a0cb28ea4c2027b88a8ac1b9ef21b00d35..4c790526650283d86ae34994f58fa1c465bb28f2 100644 (file)
--- a/src/support/Changer.h
+++ b/src/support/Changer.h
@@ -73,7 +73,7 @@ inline Changer noChange()
 /// To apply the change conditionally, one can write:
 ///     Changer dummy = (cond) ? changeVar(ref, val) : noChange();
 template <typename X>
 /// To apply the change conditionally, one can write:
 ///     Changer dummy = (cond) ? changeVar(ref, val) : noChange();
 template <typename X>

-inline Changer changeVar(X & ref, X const val)
+inline RefChanger<X> changeVar(X & ref, X const val)

 {
        auto rc = make_save(ref);
        ref = val;
 {
        auto rc = make_save(ref);
        ref = val;