diff options
author | Clark Barrett <barrett@cs.nyu.edu> | 2011-04-08 13:22:18 +0000 |
---|---|---|
committer | Clark Barrett <barrett@cs.nyu.edu> | 2011-04-08 13:22:18 +0000 |
commit | 16161eb039274162e1e464522e73a17f755a4e28 (patch) | |
tree | 1e63e54a0f9154fbd123569776bed38e30c6616c /src/util/Makefile.am | |
parent | f2696072837541f16932b1fd5f5740d45b4341b9 (diff) |
Added util class
Diffstat (limited to 'src/util/Makefile.am')
-rw-r--r-- | src/util/Makefile.am | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/util/Makefile.am b/src/util/Makefile.am index c94d208d2..9644aa12c 100644 --- a/src/util/Makefile.am +++ b/src/util/Makefile.am @@ -38,7 +38,9 @@ libutil_la_SOURCES = \ stats.cpp \ dynamic_array.h \ language.h \ - triple.h + triple.h \ + trans_closure.h \ + trans_closure.cpp libutil_la_LIBADD = \ @builddir@/libutilcudd.la libutilcudd_la_SOURCES = \ |