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/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: |