Remove redundant default constructor

smowton · Apr 23, 2018 · f2a4054 · f2a4054
1 parent 54fb9ab
commit f2a4054
Showing 1 changed file with 0 additions and 1 deletion.
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