From cca29ccd2ca51dcd2592b4f0fa548a26f813bba2 Mon Sep 17 00:00:00 2001
From: Marc Glisse <marc.glisse@inria.fr>
Date: Thu, 27 Oct 2016 21:32:48 +0200
Subject: [PATCH] Test I/O for Lazy_exact_nt<mpq_class>.

---
 Number_types/test/Number_types/mpq_class.cpp | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/Number_types/test/Number_types/mpq_class.cpp b/Number_types/test/Number_types/mpq_class.cpp
index a6c759768b1..31b46847615 100644
--- a/Number_types/test/Number_types/mpq_class.cpp
+++ b/Number_types/test/Number_types/mpq_class.cpp
@@ -4,6 +4,7 @@
 
 #include <iostream>
 #include <CGAL/mpq_class.h>
+#include <CGAL/Lazy_exact_nt.h>
 
 #include <CGAL/Test/_test_algebraic_structure.h>
 #include <CGAL/Test/_test_real_embeddable.h>
@@ -33,6 +34,16 @@ int main() {
       mpq_class q;
       std::istringstream in("12.34");
       in >> CGAL::iformat(q);
+      assert(in);
+      assert(q.get_num() == 617);
+      assert(q.get_den() == 50);
+    }
+    {
+      CGAL::Lazy_exact_nt<mpq_class> x;
+      std::istringstream in("12.34");
+      in >> x;
+      mpq_class q = x.exact();
+      assert(in);
       assert(q.get_num() == 617);
       assert(q.get_den() == 50);
     }