From 12fd01defdbe3699ec4c77b9a99f6aafbca34d23 Mon Sep 17 00:00:00 2001
From: Ahmed Essam <theartful.ae@gmail.com>
Date: Mon, 21 Sep 2020 08:54:29 +0200
Subject: [PATCH] Fix eating extra whitespace in CORE::BigRat

---
 CGAL_Core/include/CGAL/CORE/Gmp_impl.h | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/CGAL_Core/include/CGAL/CORE/Gmp_impl.h b/CGAL_Core/include/CGAL/CORE/Gmp_impl.h
index 901f5204b2b..479dc0dd0fa 100644
--- a/CGAL_Core/include/CGAL/CORE/Gmp_impl.h
+++ b/CGAL_Core/include/CGAL/CORE/Gmp_impl.h
@@ -198,10 +198,6 @@ io_read (std::istream &i, mpq_ptr q)
       ok = true;
     }
 
-  if (i.flags() & ios::skipws)
-    while (isspace(c) && i.get(c)) // skip whitespace
-      ;
-
   if (c == '/') // there's a denominator
     {
       bool zero2 = false;