From 5e4b071693e49ad7168d55dd2ff9bd109e605767 Mon Sep 17 00:00:00 2001
From: Kevin Jahns <kevin.jahns@rwth-aachen.de>
Date: Thu, 15 Feb 2018 18:58:43 +0100
Subject: [PATCH] actually use clock in undo-manager

---
 src/Util/UndoManager.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/Util/UndoManager.js b/src/Util/UndoManager.js
index 7fe07573..c18c36d3 100644
--- a/src/Util/UndoManager.js
+++ b/src/Util/UndoManager.js
@@ -51,8 +51,8 @@ function applyReverseOperation (y, scope, reverseBuffer) {
           (
             op._id.user !== y.userID ||
             undoOp.fromState === null ||
-            op._id.clock < undoOp.fromState ||
-            op._id.clock > undoOp.toState
+            op._id.clock < undoOp.fromState.clock ||
+            op._id.clock > undoOp.toState.clock
           )
         ) {
           performedUndo = true