Merge pull request #2396 from tautschnig/vs-constructor

Remove constructor declaration that has no implementation

Author: kroening

src/util/std_expr.h

@@ -2922,8 +2922,6 @@ class replication_exprt:public binary_exprt
   {
   }
 
-  replication_exprt(const unsigned _times, const exprt &_src);
-
   exprt &times()
   {
     return op0();