[PPL-devel] [GIT] ppl/ppl(master): Added `virtual' to overriding virtual funcion declarations.

[Roberto Bagnara]

Module: ppl/ppl
Branch: master
Commit: 529bc41610bf74f9b284246ff222a4b04bed506d
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=529bc41610bf74f9b284246ff222a4b04bed506d

Author: Roberto Bagnara <roberto.bagnara at bugseng.com>
Date:   Sat Feb 13 11:06:56 2016 +0100

Added `virtual' to overriding virtual funcion declarations.
Fixes violations of rule MP1.10-3-2 detected by ECLAIR.

---

 demos/ppl_pips/ppl_pips.cc |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/demos/ppl_pips/ppl_pips.cc b/demos/ppl_pips/ppl_pips.cc
index 188eebe..ddfb70a 100644
--- a/demos/ppl_pips/ppl_pips.cc
+++ b/demos/ppl_pips/ppl_pips.cc
@@ -258,7 +258,7 @@ public:
   PIP_PolyLib_Parser(): PIP_Parser() {
   }
 
-  bool read(std::istream& in) {
+  virtual bool read(std::istream& in) {
     std::string line;
 
     PPL::dimension_type num_ctx_rows;
@@ -339,7 +339,7 @@ public:
     : PIP_Parser(), comment() {
   }
 
-  bool read(std::istream& in) {
+  virtual bool read(std::istream& in) {
     if (!expect(in, '(')) {
       return false;
     }