[PPL-devel] [GIT] ppl/ppl(devel): Use nullptr.

[Roberto Bagnara]

Module: ppl/ppl
Branch: devel
Commit: 095c34b19d2708c54d6ee13bddcaf75ba750cd71
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=095c34b19d2708c54d6ee13bddcaf75ba750cd71

Author: Roberto Bagnara <roberto.bagnara at bugseng.com>
Date:   Thu Aug  6 11:13:39 2020 +0200

Use nullptr.

---

 demos/ppl_lcdd/ppl_lcdd.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/demos/ppl_lcdd/ppl_lcdd.cc b/demos/ppl_lcdd/ppl_lcdd.cc
index c9a209ee1..8a2e79849 100755
--- a/demos/ppl_lcdd/ppl_lcdd.cc
+++ b/demos/ppl_lcdd/ppl_lcdd.cc
@@ -1535,7 +1535,7 @@ main(int argc, char* argv[]) try {
 
   assert(input_file_names.size() <= 1);
   // Passing 0 means "read from stdin".
-  convert(input_file_names.empty() ? 0 : input_file_names.front());
+  convert(input_file_names.empty() ? nullptr : input_file_names.front());
 
 #endif // !MULTI_THREADED