diff options
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: |