summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2016-09-21 03:13:47 +0200
committerNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2016-09-21 03:13:47 +0200
commit7e8cb867ba9ca9d0f533a8329712117ba38115a6 (patch)
tree5d28846ab9b0946ccaf14bc530dbf36533b6bde9 /src/core/knowledge.h
parent8994c7b5cf56f540c71c763173a8927569ba94b3 (diff)
Fixes "No back sequence" + forbids name as pillar.
Diffstat (limited to 'src/core/knowledge.h')
-rw-r--r--src/core/knowledge.h3
1 files changed, 2 insertions, 1 deletions
diff --git a/src/core/knowledge.h b/src/core/knowledge.h
index 93f5f49..7b5d754 100644
--- a/src/core/knowledge.h
+++ b/src/core/knowledge.h
@@ -71,7 +71,8 @@ int ZoO_knowledge_extend
(
struct ZoO_knowledge k [const static 1],
const struct ZoO_strings string [const],
- int const ignore_first_word,
+ ZoO_index const aliases_count,
+ const char * restrict aliases [const restrict static aliases_count],
ZoO_char * result [const static 1]
);