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.
          */