aboutsummaryrefslogtreecommitdiffstats
path: root/src/log/RBACoverageLog.hpp
diff options
context:
space:
mode:
authorKenji Hosokawa <khosokawa@jp.adit-jv.com>2020-10-23 13:04:49 +0900
committerKenji Hosokawa <khosokawa@jp.adit-jv.com>2020-10-23 13:04:49 +0900
commit4680fc4332d939d852592c86546f7bca148dace7 (patch)
treefa1d71082e85e1bbcc6ba3686dfd372311cc8885 /src/log/RBACoverageLog.hpp
parentc0ecf677d8ac6ad5cd12e97a294e075f3f8cb249 (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.hpp2
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_;