#include <config.h>
-#include "support/std_sstream.h"
#include "Spacing.h"
+#include <sstream>
+#include <string>
+
using std::ios;
using std::istringstream;
using std::ostream;
using std::ostringstream;
+using std::string;
string const Spacing::spacing_string[]