diff --git a/src/util/std_expr.h b/src/util/std_expr.h
index c03a8a05e17..e979f45ee69 100644
--- a/src/util/std_expr.h
+++ b/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();