From 01ce563dfe3e6cf58337708b9dbb60a8a99fa0f2 Mon Sep 17 00:00:00 2001 From: Kartik Agaram Date: Sun, 17 Jun 2018 11:20:53 -0700 Subject: 4262 - literal 'null' --- edit/012-editor-undo.mu | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'edit/012-editor-undo.mu') diff --git a/edit/012-editor-undo.mu b/edit/012-editor-undo.mu index 42d325bd..871f6c74 100644 --- a/edit/012-editor-undo.mu +++ b/edit/012-editor-undo.mu @@ -206,7 +206,7 @@ def add-operation editor:&:editor, op:&:operation -> editor:&:editor [ undo <- push op undo *editor <- put *editor, undo:offset, undo redo:&:list:&:operation <- get *editor, redo:offset - redo <- copy 0 + redo <- copy null *editor <- put *editor, redo:offset, redo ] -- cgit 1.4.1-2-gfad0