projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c12cfca) | patch
Remove unused, libstdc++-exclusive include
authorAndres Notzli <andres.noetzli@gmail.com>
Tue, 22 Nov 2016 01:17:05 +0000 (17:17 -0800)
committerAndres Notzli <andres.noetzli@gmail.com>
Tue, 22 Nov 2016 01:24:18 +0000 (17:24 -0800)
commitcf77daba38a6b4b9183fbc1e36dd7e7fc2659604
tree3f4749f6a431fa7b75af737f8e0fd2087be8fb63tree
parentc12cfca2bdd44b6cda5c61a764ae6aee150c384bcommit | diff
Remove unused, libstdc++-exclusive include

The file `ext/stdio_filebuf.h` does not seem to be available in libc++,
which made compilation of the unit tests for macOS unnecessarily
complicated given that it is not used anyway.
test/unit/parser/parser_builder_black.h diff | blob | history