From 576c0a6bdf478ea089bcc2644e0485fb23201f78 Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Fri, 22 Jun 2018 20:50:12 +0100
Subject: [PATCH] Remove constructor declaration that has no implementation

---
 src/util/std_expr.h | 2 --
 1 file changed, 2 deletions(-)

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();