From c42caa17a44ac6431c8b4761e829087f54d0cf91 Mon Sep 17 00:00:00 2001
From: Marc Glisse <Marc.Glisse@inria.fr>
Date: Fri, 27 Jul 2012 17:58:38 +0000
Subject: [PATCH] Missing standard header.

---
 Number_types/test/Number_types/rounding_modes.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Number_types/test/Number_types/rounding_modes.cpp b/Number_types/test/Number_types/rounding_modes.cpp
index 747dd5a4c2c..a401dfeb005 100644
--- a/Number_types/test/Number_types/rounding_modes.cpp
+++ b/Number_types/test/Number_types/rounding_modes.cpp
@@ -3,6 +3,7 @@
 #include <CGAL/basic.h>
 #include <CGAL/Interval_nt.h>
 #include <iostream>
+#include <cassert>
 
 typedef CGAL::Interval_nt_advanced NT_adv;
 typedef CGAL::Interval_nt<>        NT;