diff options
Diffstat (limited to 'src/options/argument_extender_implementation.cpp')
-rw-r--r-- | src/options/argument_extender_implementation.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/options/argument_extender_implementation.cpp b/src/options/argument_extender_implementation.cpp index 0d789c626..1073521ca 100644 --- a/src/options/argument_extender_implementation.cpp +++ b/src/options/argument_extender_implementation.cpp @@ -20,7 +20,7 @@ #include <cstring> #include <list> -#include "base/cvc4_assert.h" +#include "base/check.h" #include "base/output.h" #include "options/argument_extender.h" |