projects
/
cvc5.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
5ca6471
)
Fix for make dist.
author
Tim King
<taking@cs.nyu.edu>
Tue, 3 Apr 2012 15:01:29 +0000
(15:01 +0000)
committer
Tim King
<taking@cs.nyu.edu>
Tue, 3 Apr 2012 15:01:29 +0000
(15:01 +0000)
src/context/Makefile.am
patch
|
blob
|
history
diff --git
a/src/context/Makefile.am
b/src/context/Makefile.am
index 23607373a79afb1dc6f9b8f13b91d41aa4c590e8..d0c2b9783ab994c817130e14ea32eb613395864b 100644
(file)
--- a/
src/context/Makefile.am
+++ b/
src/context/Makefile.am
@@
-12,7
+12,7
@@
libcontext_la_SOURCES = \
context_mm.h \
cdo.h \
cdlist.h \
- cd
list_context_memory
.h \
+ cd
chunk_list
.h \
cdlist_forward.h \
cdqueue.h \
cdtrail_queue.h \