From a0960d8b5bc0897191444b7bcffece8136630917 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Thu, 15 May 2014 23:33:55 -0400
Subject: [PATCH] Fix compiler warning (missing virtual dtor)

---
 src/prop/registrar.h          | 1 +
 src/theory/theory_registrar.h | 2 +-
 src/util/regexp.cpp           | 2 +-
 3 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/prop/registrar.h b/src/prop/registrar.h
index 4fe04f062..b6dd021ab 100644
--- 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 691c1147b..d8389bece 100644
--- 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 3f0bc46fd..cbc0b843b 100644
--- 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() << ')';
 }
 
-}/* CVC4 namespace */
\ No newline at end of file
+}/* CVC4 namespace */
-- 
2.30.2