From 7b982a812eabf6e0a6ccccdf5fd1b157887dcf32 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 25 Sep 2022 18:09:32 -0700
Subject: [PATCH] fix build

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

diff --git a/src/test/egraph.cpp b/src/test/egraph.cpp
index a3c61abad..a3e70a77f 100644
--- a/src/test/egraph.cpp
+++ b/src/test/egraph.cpp
@@ -124,7 +124,7 @@ static void test3() {
     SASSERT(g.inconsistent());
     ptr_vector<int> js;
     g.begin_explain();
-    g.explain<int>(js);
+    g.explain<int>(js, nullptr);
     g.end_explain();
     for (int* j : js) 
         std::cout << "conflict: " << *j << "\n";