From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Fri, 28 Jun 2013 13:09:47 +0000 (-0400)
Subject: Fix portfolio builds after yesterday's commits.
X-Git-Tag: cvc5-1.0.0~7287^2~77
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=3355cd887a424ace6bc7b51e63f8adc90d24e3a9;p=cvc5.git

Fix portfolio builds after yesterday's commits.
---

diff --git a/src/main/portfolio_util.h b/src/main/portfolio_util.h
index 6f6e2f03b..d22ca07d9 100644
--- 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 {