1 files changed, 1 insertions, 0 deletions
diff --git a/ide/undo.mli b/ide/undo.mli
index 36700f396f..0aae49e795 100644
--- a/ide/undo.mli
+++ b/ide/undo.mli
@@ -5,6 +5,7 @@ object
   inherit GText.view
   method undo : bool
   method redo : bool
+  method clear_undo : unit
 end
 
 val undoable_view :