diff options
Diffstat (limited to 'src/expr/kind_template.h')
-rw-r--r-- | src/expr/kind_template.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/expr/kind_template.h b/src/expr/kind_template.h index 0a6b7bc61..170f51df1 100644 --- a/src/expr/kind_template.h +++ b/src/expr/kind_template.h @@ -92,8 +92,8 @@ ${theory_enum} const TheoryId THEORY_FIRST = static_cast<TheoryId>(0); const TheoryId THEORY_SAT_SOLVER = THEORY_LAST; -inline TheoryId& CVC4_PUBLIC operator ++ (TheoryId& id) { - return id = static_cast<TheoryId>(((int)id) + 1); +CVC4_PUBLIC inline TheoryId& operator++(TheoryId& id) { + return id = static_cast<TheoryId>(static_cast<int>(id) + 1); } std::ostream& operator<<(std::ostream& out, TheoryId theoryId); |