From 6edabd6c034f09d6fcab595ce891b137b6669880 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 22 Jan 2021 18:11:27 -0800
Subject: [PATCH] egraph

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/ast/euf/euf_enode.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/ast/euf/euf_enode.h b/src/ast/euf/euf_enode.h
index 0d4646bbe..447e6bcaf 100644
--- a/src/ast/euf/euf_enode.h
+++ b/src/ast/euf/euf_enode.h
@@ -27,6 +27,7 @@ Author:
 namespace euf {
 
     class enode;
+    class egraph;
 
     typedef ptr_vector<enode> enode_vector;
     typedef std::pair<enode*,enode*> enode_pair;