diff options
Diffstat (limited to 'src/base/Makefile.am')
-rw-r--r-- | src/base/Makefile.am | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/Makefile.am b/src/base/Makefile.am index 94e45c542..bf919cd81 100644 --- a/src/base/Makefile.am +++ b/src/base/Makefile.am @@ -20,14 +20,14 @@ libbase_la_SOURCES = \ configuration_private.h \ cvc4_assert.cpp \ cvc4_assert.h \ - cvc4_unique_ptr.h \ exception.cpp \ exception.h \ listener.cpp \ listener.h \ modal_exception.h \ output.cpp \ - output.h + output.h \ + ptr_closer.h |