Merge pull request #2437 from tautschnig/vs-empty

Move unnecessarily inlined implementations to otherwise empty cpp file

Author: kroening

src/util/decision_procedure.cpp

@@ -11,4 +11,6 @@ Author: Daniel Kroening, [email protected]
 
 #include "decision_procedure.h"
 
-
+decision_proceduret::~decision_proceduret()
+{
+}

src/util/decision_procedure.h

@@ -24,6 +24,8 @@ class decision_proceduret:public messaget
   {
   }
 
+  virtual ~decision_proceduret();
+
   // get a value from satisfying instance if satisfiable
   // returns nil if not available
   virtual exprt get(const exprt &expr) const=0;

src/util/dstring.cpp

@@ -10,3 +10,10 @@ Author: Daniel Kroening, [email protected]
 /// Container for C-Strings
 
 #include "dstring.h"
+
+#include <ostream>
+
+std::ostream &dstringt::operator<<(std::ostream &out) const
+{
+  return out << as_string();
+}

src/util/dstring.h

@@ -123,10 +123,7 @@ class dstringt final
 
   // output
 
-  std::ostream &operator<<(std::ostream &out) const
-  {
-    return out << as_string();
-  }
+  std::ostream &operator<<(std::ostream &out) const;
 
   // non-standard