From 036d5c02f44693e15cbd3d93825478a7bc732955 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 18 Dec 2019 20:59:56 -0800 Subject: [PATCH] add typedef Signed-off-by: Nikolaj Bjorner --- src/math/interval/dep_intervals.h | 1 + 1 file changed, 1 insertion(+) diff --git a/src/math/interval/dep_intervals.h b/src/math/interval/dep_intervals.h index c764f6cb1..8b7fe8785 100644 --- a/src/math/interval/dep_intervals.h +++ b/src/math/interval/dep_intervals.h @@ -38,6 +38,7 @@ private: public: typedef unsynch_mpq_manager numeral_manager; typedef bound_deps deps_combine_rule; + typedef deps_combine_rule interval_deps_combine_rule; struct interval { interval() :