Line 541 of ppl_pips.cc should be changed from if (input_stream_p && *input_stream_p != std::cin)
to
if (input_stream_p && (input_stream_p != &std::cin))
The change was done upstream in 2014; a new PPL release
with this and other improvements is forthcoming.
Thanks,
Roberto
--
Prof. Roberto Bagnara
Applied Formal Methods Laboratory - University of Parma, Italy
mailto:bagn...@cs.unipr.it
BUGSENG srl - http://bugseng.com
mailto:roberto.bagn...@bugseng.com
