From a7e2b645458998c036c09cad717d3e38def9e034 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 9 Aug 2023 16:33:50 -0700
Subject: [PATCH] remove dependency on spacer_util

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/sat/smt/synth_solver.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/sat/smt/synth_solver.h b/src/sat/smt/synth_solver.h
index 09450f15a..f28d37e77 100644
--- a/src/sat/smt/synth_solver.h
+++ b/src/sat/smt/synth_solver.h
@@ -14,7 +14,6 @@ Author:
 
 #pragma once
 
-#include "muz/spacer/spacer_util.h"
 #include "sat/smt/sat_th.h"
 #include "solver/solver.h"
 
@@ -53,7 +52,8 @@ namespace synth {
         sat::literal_vector m_blockers;
 
     	ptr_vector<app> m_synth;
-	spacer::func_decl_set m_uncomputable;
+        typedef obj_hashtable<func_decl> func_decl_set;
+	func_decl_set m_uncomputable;
 
     };