[PPL-devel] [GIT] ppl/ppl(master): Bugs fixed.

[Roberto Bagnara]

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

Author: Roberto Bagnara <roberto.bagnara at 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) {