Here is a trivial patch to fix this bug.
I'd appreciate if someone (Bo?) could check that this patch works, since
I do not have the equipment (dvipost...) to do it myself.
JMarc
Index: src/mathed/math_hullinset.h
===================================================================
--- src/mathed/math_hullinset.h (revision 13859)
+++ src/mathed/math_hullinset.h (working copy)
@@ -189,8 +189,6 @@ public:
/// what appears in the minibuffer when opening
virtual std::string const editMessage() const;
///
- virtual bool canTrackChanges() const { return true; }
- ///
virtual void mutateToText();
///
virtual void revealCodes(LCursor & cur) const;
