--- ppl-1.1/demos/ppl_lcdd/ppl_lcdd.cc.old	2016-09-23 23:20:28.218655156 -0400
+++ ppl-1.1/demos/ppl_lcdd/ppl_lcdd.cc.old	2016-09-23 23:28:36.440042496 -0400
@@ -224,7 +224,7 @@ 
 
 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 @@ 
 
 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) {
--- ppl-1.1/demos/ppl_pips/ppl_pips.cc.old	2016-09-23 23:30:30.900343663 -0400
+++ ppl-1.1/demos/ppl_pips/ppl_pips.cc.old	2016-09-23 23:32:38.546262245 -0400
@@ -538,7 +538,7 @@ 
 
 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 @@ 
 
 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) {