diff options
author | Tim King <taking@cs.nyu.edu> | 2018-02-07 10:19:04 -0800 |
---|---|---|
committer | Aina Niemetz <aina.niemetz@gmail.com> | 2018-02-07 10:19:04 -0800 |
commit | a5c952d63bca9f94d3886db4d9c09d08d7a23033 (patch) | |
tree | 9b3748cf9d7ec36e12df9a5b361862ae6ec0fabb /src/base/Makefile.am | |
parent | 0533b9009d23a39bcc78ef85d6e98b62ef304351 (diff) |
Adds a new CHECK macro that abort()s on failure. (#1532)
Diffstat (limited to 'src/base/Makefile.am')
-rw-r--r-- | src/base/Makefile.am | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/base/Makefile.am b/src/base/Makefile.am index 5537bbbdd..7dd6f47e5 100644 --- a/src/base/Makefile.am +++ b/src/base/Makefile.am @@ -20,6 +20,8 @@ libbase_la_SOURCES = \ configuration_private.h \ cvc4_assert.cpp \ cvc4_assert.h \ + cvc4_check.cpp \ + cvc4_check.h \ exception.cpp \ exception.h \ listener.cpp \ |