From: Tim King <taking@cs.nyu.edu>
Date: Tue, 3 Apr 2012 15:01:29 +0000 (+0000)
Subject: Fix for make dist.
X-Git-Tag: cvc5-1.0.0~8244
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=4fa8c7d1a0654e7780fd485c51463c06b34379b5;p=cvc5.git

Fix for make dist.
---

diff --git a/src/context/Makefile.am b/src/context/Makefile.am
index 23607373a..d0c2b9783 100644
--- a/src/context/Makefile.am
+++ b/src/context/Makefile.am
@@ -12,7 +12,7 @@ libcontext_la_SOURCES = \
 	context_mm.h \
 	cdo.h \
 	cdlist.h \
-	cdlist_context_memory.h \
+	cdchunk_list.h \
 	cdlist_forward.h \
 	cdqueue.h \
 	cdtrail_queue.h \