Remove unused ext/ libstdc++ #include for clang.

diff --git a/Execute.cpp b/Execute.cpp
index fbe09e556b751fd80081fb6116d124f4e95308ac..51e76ab360dc2db95119293f974464cf431cd5ab 100644 (file)
--- a/Execute.cpp
+++ b/Execute.cpp
@@ -34,7 +34,6 @@
 #include <sys/mman.h>
 
 #include <iostream>
-#include <ext/stdio_filebuf.h>
 #include <set>
 #include <map>
 #include <iomanip>