diff options
author | Morgan Deters <mdeters@gmail.com> | 2011-05-14 00:15:43 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2011-05-14 00:15:43 +0000 |
commit | 11bb98ba5b1e9e88053a7bd6adc1d48d48a4bb21 (patch) | |
tree | 1c975ba91df4f5ffcee6b53d164d00e1181b83c8 /src/util/Makefile.am | |
parent | 8d54316e7ff784a8d66da9ecc2d289ab463761c2 (diff) |
add AscriptionType stuff to support nullary parameterized datatypes; also, review of Andy's earlier commit, with some minor code clean-up and documentation
Diffstat (limited to 'src/util/Makefile.am')
-rw-r--r-- | src/util/Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/util/Makefile.am b/src/util/Makefile.am index 20806464d..5672d1eb2 100644 --- a/src/util/Makefile.am +++ b/src/util/Makefile.am @@ -37,6 +37,7 @@ libutil_la_SOURCES = \ configuration_private.h \ configuration.cpp \ bitvector.h \ + ascription_type.h \ datatype.h \ datatype.cpp \ gmp_util.h \ |