From 24eeb7c2e04edd433ed4d4f7a265103d0863a4f8 Mon Sep 17 00:00:00 2001
From: mcjohn974 <mcvictor@tut.by>
Date: Thu, 8 Sep 2022 11:55:49 +0300
Subject: [PATCH] destructors

---
 paper.tex | 18 +++++++++---------
 1 file changed, 9 insertions(+), 9 deletions(-)

diff --git a/paper.tex b/paper.tex
index e1555d2..2f806f0 100644
--- a/paper.tex
+++ b/paper.tex
@@ -469,16 +469,16 @@ \subsection{Destructors}
 It may be translated to EO as such:
 
 \begin{ffcode}
-[] > Foo
-  [] > new
-    seq > @
-      QQ.io.stdout "Alive" > @
-      []
-        [] > destructor
-          QQ.io.stdout "Dead" > @
-[] > main
+[] > foo
+  nop > @
+  [] > constructor
+    QQ.io.stdout "Alive" > @
+  [] > destructor
+    QQ.io.stdout "Dead" > @
+[] > app
+  foo > f
   seq > @
-    Foo.new > f
+    f.constructor
     f.destructor
 \end{ffcode}