From 9c8201b326a53472f144e8f1220da43451d22d7e Mon Sep 17 00:00:00 2001
From: Shinya Sato <shinnya.sato@gmail.com>
Date: Mon, 25 Jul 2022 17:11:39 +0900
Subject: v0.9.0

---
 sample/hanoi.in | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

(limited to 'sample/hanoi.in')

diff --git a/sample/hanoi.in b/sample/hanoi.in
index 40cef50..5be47c6 100644
--- a/sample/hanoi.in
+++ b/sample/hanoi.in
@@ -4,8 +4,11 @@
 hanoi(return, source, target, aux) >< (int n)
 | n==0 => 
           // Erase the source, target and aux
-          Eraser~source, Eraser~target, Eraser~aux,
-	  // result
+          source ~ Eraser,
+          target ~ Eraser,
+          aux ~ Eraser,
+
+          // result
           return~[]
 
 | _    => 
-- 
cgit v1.2.3