fix portfolio build

diff --git a/src/main/driver_portfolio.cpp b/src/main/driver_portfolio.cpp
index 486e0e0d3f1d3fa41eac294195897787321c1f9a..0698d5157fa3a0f49112e08fbb75f15b5bfebb48 100644 (file)
--- a/src/main/driver_portfolio.cpp
+++ b/src/main/driver_portfolio.cpp
@@ -45,6 +45,8 @@
 #include "util/dump.h"
 #include "util/result.h"
 #include "util/stats.h"
+#include "util/lemma_input_channel.h"
+#include "util/lemma_output_channel.h"
 
 #include "expr/pickler.h"
 #include "util/channel.h"