From e0a15849df2e0f0ccfdf0a5d9cafe4ff22d3c785 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Mon, 15 Aug 2016 16:48:17 +0200
Subject: [PATCH] Updated documentation to changes of axiom rule output format.

---
 doc/output-format.md | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/doc/output-format.md b/doc/output-format.md
index 3d91f28..15300cf 100644
--- a/doc/output-format.md
+++ b/doc/output-format.md
@@ -190,12 +190,14 @@ axiomRule(axiomRule(<number>)).
 precondition(<axiom rule>, <variable>, <value>).
 
 % defines that after applying <axiom rule>, <variable> is assigned <value>
-postcondition(<axiom rule>, <variable>, <value>).
+postcondition(<axiom rule>, effect(unconditional), <variable>, <value>).
 ```
 
 Axiom rules are similar to [actions](#actions) in that they modify [variables](#variables) if certain preconditions are satisfied.
 However, axiom rules must be applied *immediately* as soon as their preconditions are satisfied.
 
+The second argument of `postcondition`, `effect(unconditional)`, is not used and exists only for consistency with [actions](#actions).
+
 Axiom rule facts are only present with SAS input programs and not PDDL.
 
 Axiom rules contain essential information in order to find plans correctly.