diff options
author | Andres Notzli <andres.noetzli@gmail.com> | 2016-11-21 17:17:05 -0800 |
---|---|---|
committer | Andres Notzli <andres.noetzli@gmail.com> | 2016-11-21 17:24:18 -0800 |
commit | cf77daba38a6b4b9183fbc1e36dd7e7fc2659604 (patch) | |
tree | 3f4749f6a431fa7b75af737f8e0fd2087be8fb63 /test/unit | |
parent | c12cfca2bdd44b6cda5c61a764ae6aee150c384b (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.
Diffstat (limited to 'test/unit')
-rw-r--r-- | test/unit/parser/parser_builder_black.h | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/test/unit/parser/parser_builder_black.h b/test/unit/parser/parser_builder_black.h index f65dadf1b..c2f8317b1 100644 --- a/test/unit/parser/parser_builder_black.h +++ b/test/unit/parser/parser_builder_black.h @@ -16,7 +16,6 @@ #include <cxxtest/TestSuite.h> -#include <ext/stdio_filebuf.h> #include <stdio.h> #include <string.h> #include <sys/stat.h> @@ -30,9 +29,6 @@ #include "parser/parser_builder.h" #include "smt/command.h" - -typedef __gnu_cxx::stdio_filebuf<char> filebuf_gnu; - using namespace CVC4; using namespace CVC4::parser; using namespace CVC4::language::input; @@ -85,20 +81,12 @@ public: void testEmptyFileInput() { char *filename = mkTemp(); - /* FILE *fp = tmpfile(); */ - /* filebuf_gnu fs( fd, ios_base::out ); */ - - /* ptr = tmpnam(filename); */ - /* std::fstream fs( ptr, fstream::out ); */ - /* fs.close(); */ - checkEmptyInput( ParserBuilder(d_exprManager,filename) .withInputLanguage(LANG_CVC4) ); remove(filename); - // mkfifo(ptr, S_IWUSR | s_IRUSR); free(filename); } |