diff --git a/config.cpp b/config.cpp
index dca4722e..f324c3ff 100644
--- a/config.cpp
+++ b/config.cpp
@@ -90,7 +90,7 @@ struct parameter : public std::enable_shared_from_this<parameter> {
   virtual void reset() = 0;
   virtual void swap_with(parameter*) = 0;
 
-  virtual shared_ptr<parameter> clone(struct local_parameter_set& lps, void *value) override { println(hlog, "parameter not cloneable: ", name); throw hr_exception("not cloneable"); }
+  virtual shared_ptr<parameter> clone(struct local_parameter_set& lps, void *value) { println(hlog, "parameter not cloneable: ", name); throw hr_exception("not cloneable"); }
 
   void setup(const parameter_names& s);
   };