From 5f11392fccca8c49fcc5678458fadd93e4611102 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Mon, 28 Oct 2013 07:50:33 -0700
Subject: [PATCH] test(numerics/numeric_traits): add missing test

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 src/tests/util/numerics/numeric_traits.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/tests/util/numerics/numeric_traits.cpp b/src/tests/util/numerics/numeric_traits.cpp
index 0499b1820..d3708d1e7 100644
--- a/src/tests/util/numerics/numeric_traits.cpp
+++ b/src/tests/util/numerics/numeric_traits.cpp
@@ -20,6 +20,7 @@ void tst_num(T const & a) {
     std::cout << "zero:            " << numeric_traits<T>::zero() << "\n";
     std::cout << "is type precise: " << std::boolalpha << numeric_traits<T>::precise() << "\n";
     std::cout << "typeid:          " << typeid(T).name() << "\n";
+    lean_assert(numeric_traits<T>::is_zero(numeric_traits<T>::zero()));
     std::cout << "\n";
 }