From cf77daba38a6b4b9183fbc1e36dd7e7fc2659604 Mon Sep 17 00:00:00 2001
From: Andres Notzli <andres.noetzli@gmail.com>
Date: Mon, 21 Nov 2016 17:17:05 -0800
Subject: [PATCH] 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 | 12 ------------
 1 file changed, 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);
   }
 
-- 
2.30.2