From f5eec04da916b8bfd4391589a537acbc8db0d415 Mon Sep 17 00:00:00 2001 From: Laurent Rineau Date: Thu, 6 Aug 2015 17:43:38 +0200 Subject: [PATCH] Trivial fix for g++-5.1 C++11 --- Profiling_tools/include/CGAL/Memory_sizer.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Profiling_tools/include/CGAL/Memory_sizer.h b/Profiling_tools/include/CGAL/Memory_sizer.h index b4d64ecb895..222837718fb 100644 --- a/Profiling_tools/include/CGAL/Memory_sizer.h +++ b/Profiling_tools/include/CGAL/Memory_sizer.h @@ -121,7 +121,7 @@ private: size_type vsize = 0, rss = 0; std::ifstream f("/proc/self/stat"); - CGAL_assertion(f); + CGAL_assertion(!f.bad()); f >> pid >> name >> state >> ppid >> pgrp >> session >> tty >> tpgid >> flags; f >> minflt >> cminflt >> majflt >> cmajflt >> utime >> stime >> cutime;