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

Author: Roberto Bagnara roberto.bagnara@bugseng.com Date: Sat Mar 29 06:52:57 2014 +0100

Bugs fixed.

---

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

diff --git a/demos/ppl_lcdd/ppl_lcdd.cc b/demos/ppl_lcdd/ppl_lcdd.cc index ea30809..88202ca 100644 --- a/demos/ppl_lcdd/ppl_lcdd.cc +++ b/demos/ppl_lcdd/ppl_lcdd.cc @@ -224,7 +224,7 @@ std::istream* input_stream_p = 0;

void set_input(const char* file_name) { - if (input_stream_p && *input_stream_p != std::cin) + if (input_stream_p && (input_stream_p != &std::cin)) delete input_stream_p;

if (file_name) { @@ -250,7 +250,7 @@ std::ostream* output_stream_p = 0;

void set_output(const char* file_name) { - if (output_stream_p && *output_stream_p != std::cout) + if (output_stream_p && (output_stream_p != &std::cout)) delete output_stream_p;

if (file_name) { diff --git a/demos/ppl_pips/ppl_pips.cc b/demos/ppl_pips/ppl_pips.cc index eea5bd7..06f20c5 100644 --- a/demos/ppl_pips/ppl_pips.cc +++ b/demos/ppl_pips/ppl_pips.cc @@ -538,7 +538,7 @@ std::istream* input_stream_p = 0;

void set_input(const char* file_name) { - if (input_stream_p && *input_stream_p != std::cin) + if (input_stream_p && (input_stream_p != &std::cin)) delete input_stream_p;

if (file_name) { @@ -558,7 +558,7 @@ std::ostream* output_stream_p = 0;

void set_output(const char* file_name) { - if (output_stream_p && *output_stream_p != std::cout) + if (output_stream_p && (output_stream_p != &std::cout)) delete output_stream_p;

if (file_name) {