diff options
Diffstat (limited to 'include/clang/Analysis/Analyses/ThreadSafetyLogical.h')
-rw-r--r-- | include/clang/Analysis/Analyses/ThreadSafetyLogical.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/include/clang/Analysis/Analyses/ThreadSafetyLogical.h b/include/clang/Analysis/Analyses/ThreadSafetyLogical.h index bc78021343a4..2508af1af107 100644 --- a/include/clang/Analysis/Analyses/ThreadSafetyLogical.h +++ b/include/clang/Analysis/Analyses/ThreadSafetyLogical.h @@ -29,7 +29,7 @@ public: }; Opcode kind() const { return Kind; } - /// \brief Logical implication. Returns true if the LExpr implies RHS, i.e. if + /// Logical implication. Returns true if the LExpr implies RHS, i.e. if /// the LExpr holds, then RHS must hold. For example, (A & B) implies A. inline bool implies(const LExpr *RHS) const; @@ -92,7 +92,7 @@ public: static bool classof(const LExpr *E) { return E->kind() == LExpr::Not; } }; -/// \brief Logical implication. Returns true if LHS implies RHS, i.e. if LHS +/// Logical implication. Returns true if LHS implies RHS, i.e. if LHS /// holds, then RHS must hold. For example, (A & B) implies A. bool implies(const LExpr *LHS, const LExpr *RHS); |