diff options
author | Tim King <taking@google.com> | 2016-11-09 14:09:25 -0800 |
---|---|---|
committer | Tim King <taking@google.com> | 2016-11-09 14:09:25 -0800 |
commit | 831f2b7176bc3db49e2fb354918a71df896ad63a (patch) | |
tree | 3cef485dbe92e5b0d200d314e844545de1714692 /src/base/Makefile.am | |
parent | 8d0c4c7e8eb6c65facf87ad3b2e27f407096836c (diff) |
Renaming the class PtrCloser to not cause confusion with unique_ptr.
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 |