From dc1783aafab3d654f9ef0c636ae8915438b3b5cb Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 24 Aug 2020 02:02:49 -0700
Subject: [PATCH] na

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/smt/smt_enode.h | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/smt/smt_enode.h b/src/smt/smt_enode.h
index 500604569..4626b996b 100644
--- a/src/smt/smt_enode.h
+++ b/src/smt/smt_enode.h
@@ -25,6 +25,9 @@ Revision History:
 #include "util/approx_set.h"
 
 namespace smt {
+
+    class context;
+
     /**
        \brief Justification for the transitivity rule.
     */