commit 3b61bb97fe18f216a738dc49fd8afaf4a8fd42cf
parent 345d93e5f605b82909435c3a25004a84f8c9aae5
Author: Alexander Burger <abu@software-lab.de>
Date: Tue, 23 Jul 2013 08:39:38 +0200
Minor white space
Diffstat:
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/test/src/subr.l b/test/src/subr.l
@@ -1,4 +1,4 @@
-# 19jul13abu
+# 23jul13abu
# (c) Software Lab. Alexander Burger
### c[ad]*r ###
@@ -496,7 +496,7 @@
### -> ###
(test '((@A . 3) (@B . 7))
- (prove (goal '(@A 3 (^ @B (+ 4 (-> @A)))))) )
+ (prove (goal '(@A 3 (^ @B (+ 4 (-> @A)))))) )
### unify ###