Add rt library

1 files changed, 2 insertions, 3 deletions

diff --git a/moses/Parameter.h b/moses/Parameter.h
index 5b2c1cc60..ccfa15e6b 100644
--- a/moses/Parameter.h
+++ b/moses/Parameter.h
@@ -90,9 +90,8 @@ public:
   void Explain();
 
   /** return a vector of strings holding the whitespace-delimited values on the ini-file line corresponding to the given parameter name */
-  const PARAM_VEC &GetParam(const std::string &paramName) {
-    return m_setting[paramName];
-  }
+  const PARAM_VEC &GetParam(const std::string &paramName) const;
+
   /** check if parameter is defined (either in moses.ini or as switch) */
   bool isParamSpecified(const std::string &paramName) const {
     return  m_setting.find( paramName ) != m_setting.end();