diff options
author | 2020-10-23 13:04:49 +0900 | |
---|---|---|
committer | 2020-10-23 13:04:49 +0900 | |
commit | 4680fc4332d939d852592c86546f7bca148dace7 (patch) | |
tree | fa1d71082e85e1bbcc6ba3686dfd372311cc8885 /src/core/expression/RBAForAllOperatorMaker.hpp | |
parent | c0ecf677d8ac6ad5cd12e97a294e075f3f8cb249 (diff) |
Cosmetic changes to pass compilation
Signed-off-by: Kenji Hosokawa <khosokawa@jp.adit-jv.com>
Diffstat (limited to 'src/core/expression/RBAForAllOperatorMaker.hpp')
-rw-r--r-- | src/core/expression/RBAForAllOperatorMaker.hpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/core/expression/RBAForAllOperatorMaker.hpp b/src/core/expression/RBAForAllOperatorMaker.hpp index 9c5de92..68028fb 100644 --- a/src/core/expression/RBAForAllOperatorMaker.hpp +++ b/src/core/expression/RBAForAllOperatorMaker.hpp @@ -15,7 +15,7 @@ */ /// @file RBAForAllOperatorMaker.hpp -/// @brief ForAllOperator object generation class header +/// @brief ForAllOperator object generation class header #ifndef RBAFORALLOPERATORMAKER_HPP #define RBAFORALLOPERATORMAKER_HPP @@ -25,7 +25,7 @@ namespace rba { -/// @brief ForAllOperator object generation class +/// @brief ForAllOperator object generation class class RBAForAllOperatorMaker : public RBALambdaContextMaker { public: |