From b0a4d60174d71f703c4419272cbee78eec59ff06 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Wed, 20 Nov 2013 09:56:19 -0800
Subject: [PATCH] fix(util/interval): add missing explicit template
 instantiation

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

diff --git a/src/util/interval/interval_instances.cpp b/src/util/interval/interval_instances.cpp
index bd9712d546..a4027ff0af 100644
--- a/src/util/interval/interval_instances.cpp
+++ b/src/util/interval/interval_instances.cpp
@@ -13,6 +13,7 @@ Author: Leonardo de Moura
 namespace lean {
 template class interval<mpq>;
 template void interval<mpq>::neg<true, false>(interval_deps &);
+template void interval<mpq>::neg<false, true>(interval_deps &);
 template void interval<mpq>::inv<true, false>(interval_deps &);
 template void interval<mpq>::power<true, false>(unsigned, interval_deps &);