From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Fri, 16 May 2014 03:33:55 +0000 (-0400)
Subject: Fix compiler warning (missing virtual dtor)
X-Git-Tag: cvc5-1.0.0~6897
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a0960d8b5bc0897191444b7bcffece8136630917;p=cvc5.git

Fix compiler warning (missing virtual dtor)
---

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 */