
23 Dec
2014
23 Dec
'14
12:13 p.m.
Module: ppl/ppl Branch: master Commit: f680d732a425fd5efcc58762b0784d1bf92303ba URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f680d732a425f...
Author: Roberto Bagnara roberto.bagnara@bugseng.com Date: Tue Dec 23 13:12:22 2014 +0100
Spurious `inline' qualifier removed.
---
src/Handler.cc | 1 - 1 files changed, 0 insertions(+), 1 deletions(-)
diff --git a/src/Handler.cc b/src/Handler.cc index f77b7d9..49438fc 100644 --- a/src/Handler.cc +++ b/src/Handler.cc @@ -26,6 +26,5 @@ site: http://bugseng.com/products/ppl/ . */
namespace PPL = Parma_Polyhedra_Library;
-inline PPL::Implementation::Watchdog::Handler::~Handler() { }