diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-11-27 17:37:30 -0500 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-11-27 17:37:30 -0500 |
commit | b28a42c3a4fd8c9b079b157ad8ff36e581b60d29 (patch) | |
tree | bdd4097f09eb093c251ac662f3783980c807e325 /src/util/Makefile.am | |
parent | 7845fb33d5eda80bbe1149e302f7cf2f8f82bcdc (diff) |
Java bindings improvements for CASCADE, minor cleanup.
Diffstat (limited to 'src/util/Makefile.am')
-rw-r--r-- | src/util/Makefile.am | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/util/Makefile.am b/src/util/Makefile.am index 5647a2057..5b8da8828 100644 --- a/src/util/Makefile.am +++ b/src/util/Makefile.am @@ -143,7 +143,8 @@ EXTRA_DIST = \ hash.i \ predicate.i \ uninterpreted_constant.i \ - chain.i + chain.i \ + regexp.i DISTCLEANFILES = \ integer.h.tmp \ |