Fix portfolio builds after yesterday's commits.

diff --git a/src/main/portfolio_util.h b/src/main/portfolio_util.h
index 6f6e2f03b0f26e7955c8f6f1c955836bb5d2ac5b..d22ca07d98aa4b2332e96efa3fd6a987d54bc21b 100644 (file)
--- a/src/main/portfolio_util.h
+++ b/src/main/portfolio_util.h
@@ -21,6 +21,7 @@
 #include "util/channel.h"
 #include "util/lemma_input_channel.h"
 #include "util/lemma_output_channel.h"
+#include "util/output.h"
 #include "main/options.h"
 
 namespace CVC4 {