From 0f78238b7e6f6a71b509230d6e8574e811c65855 Mon Sep 17 00:00:00 2001 From: Alex Horn Date: Tue, 12 May 2015 13:18:51 +0100 Subject: [PATCH] Fix typo in documentation Signed-off-by: Alex Horn --- src/muz/base/dl_context.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/muz/base/dl_context.h b/src/muz/base/dl_context.h index 9da4700e6..9f94bd869 100644 --- a/src/muz/base/dl_context.h +++ b/src/muz/base/dl_context.h @@ -300,7 +300,7 @@ namespace datalog { /** Register datalog relation. - If names is true, we associate the predicate with its name, so that it can be + If named is true, we associate the predicate with its name, so that it can be retrieved by the try_get_predicate_decl() function. Auxiliary predicates introduced e.g. by rule transformations do not need to be named. */