From bdd68f04e1eeb237ebf2c601b529de72c6475a31 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Sat, 13 Aug 2016 19:01:57 +0200
Subject: [PATCH] Minor cleanup in documentation.

---
 doc/output-format.md | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/doc/output-format.md b/doc/output-format.md
index 5c71642..b6ebc74 100644
--- a/doc/output-format.md
+++ b/doc/output-format.md
@@ -86,7 +86,6 @@ This section specifies all object types used by the problem (only with PDDL and
 syntax | description
 -------|------------
 `type(type(<type name>)).` | declares the type `type(<type name>)`
-`has(<object>, type(<type name>)).` | declares `<object>` to be of type `type(<type name>)`
 
 ### Example
 
@@ -108,7 +107,7 @@ Constants and objects are not distinguished by `plasp`.
 syntax | description
 -------|------------
 `constant(constant(<constant name>)).` | declares the constant or object `constant(<constant name>)`
-`has(constant(<constant name>), type(<type name>)).` | declares constant or object `constant(<constant name>)` to be of type `type(<type name>)`
+`has(constant(<constant name>), type(<type name>)).` | declares constant or object `constant(<constant name>)` to be of [type](#type) `type(<type name>)`
 
 ### Example