From 3f16b790523679819a19647d7c5970ec58ff45c3 Mon Sep 17 00:00:00 2001
From: Martin Mares <mj@ucw.cz>
Date: Mon, 25 Apr 2022 19:54:47 +0200
Subject: [PATCH] Fixed a typo in definition of the ET-sequence

---
 dyn.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dyn.tex b/dyn.tex
index 95d9340..b548fd4 100644
--- a/dyn.tex
+++ b/dyn.tex
@@ -208,7 +208,7 @@ when it is invoked on the root of the tree:
 \:Record~$v$ in the sequence.
 \:For each son~$w$ of~$v$:
 \::Call $\<ET>(w)$.
-\::Record~$w$.
+\::Record~$v$.
 \endalgo
 \>A~single tree can have multiple ET-sequences, corresponding to different orders in which the
 sons can be enumerated in step~2.
-- 
2.39.2