From 1462c694ce10bcfe13f5fd8b38b7575e18d0b337 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Thorsten=20Wi=C3=9Fmann?= <uni@thorsten-wissmann.de>
Date: Sat, 25 Jan 2014 11:14:48 +0100
Subject: [PATCH] Mark IFormula destructor as virtual
This avoids compile warnings and ensures correct behaviour for future
IFormula subclasses implementing a destructor.
---
GMLMIP-0.1/formulas/formula.h | 1 +
1 file changed, 1 insertion(+)
diff --git a/GMLMIP-0.1/formulas/formula.h b/GMLMIP-0.1/formulas/formula.h
index a5931d1..3cc0372 100644
--- a/GMLMIP-0.1/formulas/formula.h
+++ b/GMLMIP-0.1/formulas/formula.h
@@ -41,6 +41,7 @@ class IFormula {
virtual bdd modal(bdd *b, int n, int m)=0;
virtual bool satisfiability(int option)=0;
virtual void clear_maps()=0;
+ virtual ~IFormula() { };
};
template<class ModalValueType>
--
GitLab