Merge pull request diffblue#2396 from tautschnig/vs-constructor

Daniel Kroening · web-flow · commit 90c56b3fa357 · 2018-06-23T13:23:48.000+01:00
Remove constructor declaration that has no implementation
diff --git 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();

Original file line number	Diff line number	Diff line change
`@@ -2922,8 +2922,6 @@ class replication_exprt:public binary_exprt`
`2922`	`2922`	`{`
`2923`	`2923`	`}`
`2924`	`2924`
`2925`		`- replication_exprt(const unsigned _times, const exprt &_src);`
`2926`		`-`
`2927`	`2925`	`exprt &times()`
`2928`	`2926`	`{`
`2929`	`2927`	`return op0();`