From 283832c6497fc54687328cd5dede905f58f4bdd2 Mon Sep 17 00:00:00 2001 From: Simon Forman Date: Tue, 20 Sep 2022 10:20:58 -0700 Subject: [PATCH] Minor cleanup. --- docs/trace.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/trace.txt b/docs/trace.txt index 62c6c37..1bfc242 100644 --- a/docs/trace.txt +++ b/docs/trace.txt @@ -5,7 +5,7 @@ Phase 0: build the initial program: [5] • [down_to_zero] infra [5] [down_to_zero] • infra -Phase 1: Build a while loop: +Phase 1: It is a while loop: 5 • down_to_zero [] swaack 5 • [0 >] [dup --] while [] swaack