#include <config.h>
-#include "Lsstream.h"
+#include "support/std_sstream.h"
#include "Spacing.h"
using std::ios;
+using std::istringstream;
using std::ostream;
+using std::ostringstream;
+using std::string;
+
string const Spacing::spacing_string[]
= {"single", "onehalf", "double", "other"};
ostringstream ost;
ost << "\\begin{spacing}{"
<< getValue() << '}';
- return STRCONV(ost.str());
+ return ost.str();
}
}
return string();