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.
     */