mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-16 05:48:44 +00:00
Code Activity

Fix typo in documentation

Browse source 
Signed-off-by: Alex Horn <t-alexh@microsoft.com>
This commit is contained in:
Alex Horn 2015-05-12 13:18:51 +01:00
parent c2ef566ddc
commit 0f78238b7e
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/muz/base/dl_context.h
View file

@ -300,7 +300,7 @@ namespace datalog {
/** /**
Register datalog relation. 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 retrieved by the try_get_predicate_decl() function. Auxiliary predicates introduced
e.g. by rule transformations do not need to be named. e.g. by rule transformations do not need to be named.
*/ */