Complexity limiter: remove default constructor

tautschnig · tautschnig · commit 9395b51e89b3 · 2024-06-12T14:52:48.000Z
This is never needed or used and would require default-constructing a
messaget, which is no longer possible.
diff --git a/src/goto-symex/complexity_limiter.h b/src/goto-symex/complexity_limiter.h
@@ -48,8 +48,6 @@ class optionst;
 class complexity_limitert
 {
 public:
-  complexity_limitert() = default;
-
   complexity_limitert(message_handlert &logger, const optionst &options);
 
   /// Is the complexity module active?

Original file line number	Diff line number	Diff line change
`@@ -48,8 +48,6 @@ class optionst;`
`48`	`48`	`class complexity_limitert`
`49`	`49`	`{`
`50`	`50`	`public:`
`51`		`- complexity_limitert() = default;`
`52`		`-`
`53`	`51`	`complexity_limitert(message_handlert &logger, const optionst &options);`
`54`	`52`
`55`	`53`	`/// Is the complexity module active?`