Remove redundant default constructor

thk123 · thk123 · commit f2a40542a47d · 2018-04-23T17:46:35.000+01:00
diff --git a/src/goto-symex/symex_target_equation.h b/src/goto-symex/symex_target_equation.h
@@ -32,7 +32,6 @@ class prop_convt;
 class symex_target_equationt:public symex_targett
 {
 public:
-  symex_target_equationt() = default;
   virtual ~symex_target_equationt() = default;
 
   // read event

Original file line number	Diff line number	Diff line change
`@@ -32,7 +32,6 @@ class prop_convt;`
`32`	`32`	`class symex_target_equationt:public symex_targett`
`33`	`33`	`{`
`34`	`34`	`public:`
`35`		`- symex_target_equationt() = default;`
`36`	`35`	`virtual ~symex_target_equationt() = default;`
`37`	`36`
`38`	`37`	`// read event`