From e273a97d97c9d163bf1ef914cb4659a2593fbdd0 Mon Sep 17 00:00:00 2001
From: Shinya Sato <shinnya.sato@gmail.com>
Date: Sat, 26 Mar 2022 10:43:26 +0900
Subject: Update hanoi.in

---
 sample/hanoi.in | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'sample')

diff --git a/sample/hanoi.in b/sample/hanoi.in
index e0b7098..3ba6f5c 100644
--- a/sample/hanoi.in
+++ b/sample/hanoi.in
@@ -8,7 +8,8 @@ hanoi(return, source, target, auxiliary) >< (int n)
          auxiliary ~ dup(aux1, aux2),
          hanoi(ret1, src1, aux1, tgt1)~(n-1),
          hanoi(ret2, aux2, tgt2, src2)~(n-1),
-         return << Append(ret1, (n,src3,tgt3):ret2);
+         Append(return, (n,src3,tgt3):ret2)~ret1;
+	 // This Append is a bulit-in agent.
 
 dup(a,b)><A => a~A, b~A;
 dup(a,b)><B => a~B, b~B;
-- 
cgit v1.2.3