diff options
| -rw-r--r-- | sample/hanoi.in | 3 |
1 files changed, 2 insertions, 1 deletions
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; |