#define MATH_DELIMINSET_H
#include "math_nestinset.h"
-#include "support/std_string.h"
+
+#include <string>
/// A delimiter
class MathDelimInset : public MathNestInset {
public:
///
- MathDelimInset(string const & left, string const & right);
- ///
- MathDelimInset(string const & left, string const & right, MathArray const &);
+ MathDelimInset(std::string const & left, std::string const & right);
///
- virtual std::auto_ptr<InsetBase> clone() const;
+ MathDelimInset(std::string const & left, std::string const & right, MathArray const &);
///
MathDelimInset * asDelimInset() { return this; }
///
///
void octave(OctaveStream &) const;
///
- string left_;
+ std::string left_;
///
- string right_;
+ std::string right_;
private:
+ virtual std::auto_ptr<InsetBase> doClone() const;
///
mutable int dw_;
};