From 161ee1c108ad4958c62fa6bd57b90597a71f6da7 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 1 Feb 2018 20:23:21 -0800
Subject: [PATCH] fix ugcd

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/sat/ba_solver.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/sat/ba_solver.cpp b/src/sat/ba_solver.cpp
index e7365ce8a..653e578a3 100644
--- a/src/sat/ba_solver.cpp
+++ b/src/sat/ba_solver.cpp
@@ -19,6 +19,7 @@ Revision History:
 
 #include "sat/ba_solver.h"
 #include "sat/sat_types.h"
+#include "util/mpz.h"
 
 
 namespace sat {