From 7d06be56da8794e1be211f16299905208ef84509 Mon Sep 17 00:00:00 2001 From: "NARS.Wang@gmail.com" <NARS.Wang@gmail.com@91dfdad4-c543-0410-b26a-7d79dded8189> Date: Mon, 14 Jul 2014 22:03:04 +0000 Subject: [PATCH] Fix a number toward the end --- nars-dist/Examples/Example-NAL6-edited.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/nars-dist/Examples/Example-NAL6-edited.txt b/nars-dist/Examples/Example-NAL6-edited.txt index 2fb6a14..fa56b2b 100644 --- a/nars-dist/Examples/Example-NAL6-edited.txt +++ b/nars-dist/Examples/Example-NAL6-edited.txt @@ -217,7 +217,7 @@ // Lock-1 can be opened by every key. <{lock1} --> lock>. // Lock-1 is a lock. -166 +17 OUT: (&&,<#1 --> lock>,<<$2 --> key> ==> <#1 --> (/,open,$2,_)>>). %1.00;0.81% // There is a lock that can be opened by every key. OUT: <(&&,<$1 --> key>,<$2 --> lock>) ==> <$2 --> (/,open,$1,_)>>. %1.00;0.45% -- GitLab