diff options
author | Kenji Hosokawa <khosokawa@jp.adit-jv.com> | 2020-10-23 13:04:49 +0900 |
---|---|---|
committer | Kenji Hosokawa <khosokawa@jp.adit-jv.com> | 2020-10-23 13:04:49 +0900 |
commit | 4680fc4332d939d852592c86546f7bca148dace7 (patch) | |
tree | fa1d71082e85e1bbcc6ba3686dfd372311cc8885 /src/log/RBACoverageLog.hpp | |
parent | c0ecf677d8ac6ad5cd12e97a294e075f3f8cb249 (diff) |
Cosmetic changes to pass compilation
Signed-off-by: Kenji Hosokawa <khosokawa@jp.adit-jv.com>
Diffstat (limited to 'src/log/RBACoverageLog.hpp')
-rw-r--r-- | src/log/RBACoverageLog.hpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/log/RBACoverageLog.hpp b/src/log/RBACoverageLog.hpp index 11e3695..ef0a315 100644 --- a/src/log/RBACoverageLog.hpp +++ b/src/log/RBACoverageLog.hpp @@ -103,7 +103,7 @@ private: std::vector<RBALog*> constraintLogs; std::vector<RBALog*> canceledRequestLogs_; - // Constraint structure log for finding the denominator of + // Constraint structure log for finding the denominator of // constraint coverage. The constraint log is different // because it also has the execution result. std::vector<RBALog*> hierarchyOfConstraintLogs_; |