From 1d106ee9342af440b2d2b03ef5fa7cc6b58d4517 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 5 Aug 2021 04:48:32 -0700 Subject: [PATCH] include paths Signed-off-by: Nikolaj Bjorner --- src/math/polysat/linear_solver.cpp | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/math/polysat/linear_solver.cpp b/src/math/polysat/linear_solver.cpp index aae17304f..699a28d31 100644 --- a/src/math/polysat/linear_solver.cpp +++ b/src/math/polysat/linear_solver.cpp @@ -12,10 +12,11 @@ Author: --*/ +#include "math/bigfix/u256.h" #include "math/polysat/linear_solver.h" #include "math/polysat/fixplex_def.h" #include "math/polysat/solver.h" -#include "math/bigfix/u256.h" + namespace polysat {