From e418b10b4e515c6ebbe0b9be64e7bfd451ddd11f Mon Sep 17 00:00:00 2001
From: Tyler Schicke <tyler_schicke@brown.edu>
Date: Wed, 20 Mar 2019 05:01:42 -0400
Subject: Small tweak to UndoManager

---
 src/client/util/UndoManager.ts | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/client/util')

diff --git a/src/client/util/UndoManager.ts b/src/client/util/UndoManager.ts
index 3cbb994b7..6d1b2f1b8 100644
--- a/src/client/util/UndoManager.ts
+++ b/src/client/util/UndoManager.ts
@@ -1,5 +1,6 @@
 import { observable, action } from "mobx";
 import 'source-map-support/register'
+import { Without } from "../../Utils";
 
 function getBatchName(target: any, key: string | symbol): string {
     let keyName = key.toString();
@@ -80,7 +81,7 @@ export namespace UndoManager {
     }
 
     let openBatches: Batch[] = [];
-    export function GetOpenBatches(): { batchName: string, cancel: () => void }[] {
+    export function GetOpenBatches(): Without<Batch, 'end'>[] {
         return openBatches;
     }
     export class Batch {
-- 
cgit v1.2.3-70-g09d2