From: Morgan Deters <mdeters@gmail.com>
Date: Mon, 20 Feb 2012 18:23:15 +0000 (+0000)
Subject: fix "make dist"
X-Git-Tag: cvc5-1.0.0~8321
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=504a913380fb2ee2b90571f6673690695f55fc9b;p=cvc5.git

fix "make dist"
---

diff --git a/src/util/Makefile.am b/src/util/Makefile.am
index 3cb6ea16f..33123772d 100644
--- a/src/util/Makefile.am
+++ b/src/util/Makefile.am
@@ -50,6 +50,7 @@ libutil_la_SOURCES = \
 	stats.cpp \
 	dynamic_array.h \
 	language.h \
+	lemma_input_channel.h \
 	lemma_output_channel.h \
 	channel.h \
 	channel.cpp \