Remove redundant letters

1 files changed, 0 insertions, 7 deletions

diff --git a/comparison/Inpla/src/fib-38-reuse.in b/comparison/Inpla/src/fib-38-reuse.in
index 6b3d32b..e56fabd 100644
--- a/comparison/Inpla/src/fib-38-reuse.in
+++ b/comparison/Inpla/src/fib-38-reuse.in
@@ -4,13 +4,6 @@ Fib(r) >< (int n)
 | n == 1 => r~1
 | _ => Fib(cnt1)~(n-1), Fib(cnt2)~(n-2), (*L)Add(r,cnt2)~cnt1;
 
-/* Add is realised as built-in.
-Addd(r,n) >< (int m)
-=> Addd2(r,m) ~ n;
-
-Addd2(r,int m) >< (int n)
-=> r~(m+n);
-*/
 
 Fib(r)~38;
 r;