From 03f6b465b968deb860943b020b3b5df55f1430ef Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Tue, 31 May 2016 16:14:50 +0100 Subject: [PATCH] comment typos --- src/ast/act_cache.cpp | 2 +- src/smt/smt_internalizer.cpp | 8 ++++---- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/src/ast/act_cache.cpp b/src/ast/act_cache.cpp index 0ee0afaac..1d1341184 100644 --- a/src/ast/act_cache.cpp +++ b/src/ast/act_cache.cpp @@ -40,7 +40,7 @@ Notes: The number of unused entries (m_unused) is equal to the number of entries of the form t -> (s, 0) - That is, it is the number of keys that were never accessed by cliend code. + That is, it is the number of keys that were never accessed by client code. The cache maintains at most m_max_unused entries. When the maximum number of unused entries exceeds m_max_unused, then diff --git a/src/smt/smt_internalizer.cpp b/src/smt/smt_internalizer.cpp index a420d85d9..df80d3281 100644 --- a/src/smt/smt_internalizer.cpp +++ b/src/smt/smt_internalizer.cpp @@ -656,10 +656,10 @@ namespace smt { /** \brief Enable the flag m_merge_tf in the given enode. When the flag m_merge_tf is enabled, the enode n will be merged with the - true_enode (false_enode) whenever the boolean variable v is + true_enode (false_enode) whenever the Boolean variable v is assigned to true (false). - If is_new_var is true, then trail is not created for the flag uodate. + If is_new_var is true, then trail is not created for the flag update. */ void context::set_merge_tf(enode * n, bool_var v, bool is_new_var) { SASSERT(bool_var2enode(v) == n); @@ -674,8 +674,8 @@ namespace smt { } /** - \brief Trail object to disable the m_enode flag of a boolean - variable. The flag m_enode is true for a boolean variable v, + \brief Trail object to disable the m_enode flag of a Boolean + variable. The flag m_enode is true for a Boolean variable v, if there is an enode n associated with it. */ class set_enode_flag_trail : public trail {