diff options
author | Tim King <taking@cs.nyu.edu> | 2010-06-18 22:24:59 +0000 |
---|---|---|
committer | Tim King <taking@cs.nyu.edu> | 2010-06-18 22:24:59 +0000 |
commit | fd6af9181e763cd9564245114cfa47f3952484db (patch) | |
tree | 0b058ad4e0624f1bf11ed9c65d63a4cfbdbdc66e /src/util/Makefile.am | |
parent | 968f250b473d97db537aa7628bf111d15a2db299 (diff) |
Merging the statistics branch into the main trunk. I'll go over how to use this Tuesday during the meeting. You'll need to run autogen and receonfigure after updating.
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 88d4fc56e..0f6fb5929 100644 --- a/src/util/Makefile.am +++ b/src/util/Makefile.am @@ -30,4 +30,6 @@ libutil_la_SOURCES = \ bitvector.h \ bitvector.cpp \ gmp_util.h \ - sexpr.h + sexpr.h \ + stats.h \ + stats.cpp |