#include "frontends/font_metrics.h"
#include "frontends/Painter.h"
-#include "support/std_sstream.h"
+#include <sstream>
using std::istringstream;
using std::ostream;
}
-void InsetVSpace::priv_dispatch(LCursor & cur, FuncRequest const & cmd)
+void InsetVSpace::priv_dispatch(LCursor & cur, FuncRequest & cmd)
{
switch (cmd.action) {