From a886ecbd71e146c90338cd40078601d7825a325d Mon Sep 17 00:00:00 2001
From: Laurent Rineau <laurent.rineau@cgal.org>
Date: Tue, 29 Sep 2020 09:14:11 +0200
Subject: [PATCH] Fix a warning in an inelegant code

- `std::cerr` is already unbufferized, and `std::flush` does nothing
  on it,
- and anyway, `std::endl` calls `std::flush`.
---
 Nef_2/include/CGAL/Nef_2/debug.h | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/Nef_2/include/CGAL/Nef_2/debug.h b/Nef_2/include/CGAL/Nef_2/debug.h
index ff850cdf052..ce77dc610c6 100644
--- a/Nef_2/include/CGAL/Nef_2/debug.h
+++ b/Nef_2/include/CGAL/Nef_2/debug.h
@@ -59,8 +59,7 @@
 
 #ifndef NDEBUG
 #define CGAL_NEF_TRACEN(t) if((debugthread%CGAL_NEF_DEBUG)==0) \
- std::cerr<< " "<<t<<std::endl; \
- std::cerr.flush()
+ std::cerr<< " "<<t<<std::endl;
 #else
 #define CGAL_NEF_TRACEN(t)
 #endif