#include <config.h>
#include "InsetMathDots.h"
+
#include "MathStream.h"
#include "MathSupport.h"
#include "MathParser.h"
+#include "MetricsInfo.h"
#include "frontends/FontMetrics.h"
}
else if (key_->name == "ddots")
dh_ = dim.asc;
- // Cache the inset dimension.
- setDimCache(mi, dim);
}