From e953032c2258b257919f2610acbdc889bbf027fe Mon Sep 17 00:00:00 2001 From: Soonho Kong Date: Tue, 6 Aug 2013 19:54:54 -0700 Subject: [PATCH] Update interval --- src/interval/interval.cpp | 1 + 1 file changed, 1 insertion(+) diff --git a/src/interval/interval.cpp b/src/interval/interval.cpp index fdaf31a59b..985d22e4f8 100644 --- a/src/interval/interval.cpp +++ b/src/interval/interval.cpp @@ -6,6 +6,7 @@ Author: Leonardo de Moura */ #include "interval_def.h" #include "mpq.h" +#include "double.h" namespace lean { template class interval;