Fix compiler warning (missing virtual dtor)

diff --git a/src/prop/registrar.h b/src/prop/registrar.h
index 4fe04f062f717e836a75c14e6300abae258832ae..b6dd021ab361231894cb3fc93f822d7836e39e74 100644 (file)
--- a/src/prop/registrar.h
+++ b/src/prop/registrar.h
@@ -28,6 +28,7 @@ namespace prop {
 
 class Registrar {
 public:
+  virtual ~Registrar() {}
   virtual void preRegister(Node n) = 0;
 
 };/* class Registrar */

diff --git a/src/theory/theory_registrar.h b/src/theory/theory_registrar.h
index 691c1147bbdeba76b21afd5ee17183a0fafb6ca9..d8389becee9cd7260b198a4f4e7bc842f01bfa60 100644 (file)
--- a/src/theory/theory_registrar.h
+++ b/src/theory/theory_registrar.h
@@ -29,7 +29,7 @@
 namespace CVC4 {
 namespace theory {
 
-class TheoryRegistrar: public prop::Registrar {
+class TheoryRegistrar : public prop::Registrar {
 private:
   TheoryEngine* d_theoryEngine;
 

diff --git a/src/util/regexp.cpp b/src/util/regexp.cpp
index 3f0bc46fd06c3bcf7c6ec6fc8a08c642567440b1..cbc0b843b789b759a80a7449533b9c4704919e3b 100644 (file)
--- a/src/util/regexp.cpp
+++ b/src/util/regexp.cpp
@@ -156,4 +156,4 @@ std::ostream& operator<<(std::ostream& out, const RegExp& s) {
   return out << "regexp(" << s.getType() << ')';\r
 }\r
 \r
-}/* CVC4 namespace */
\ No newline at end of file
+}/* CVC4 namespace */\r