1 files changed, 1 insertions, 1 deletions
diff --git a/src/goto.h b/src/goto.h
index 6c5587d..1621acd 100644
--- a/src/goto.h
+++ b/src/goto.h
@@ -96,7 +96,7 @@ public:
 	undo_set(gchar *name, gint pc = -1)
 	{
 		if (must_undo)
-			undo.push(new UndoTokenSet(this, name, pc));
+			undo.push<UndoTokenSet>(this, name, pc);
 	}
 
 #ifdef DEBUG