diff options
Diffstat (limited to 'src/options/decision_weight.h')
-rw-r--r-- | src/options/decision_weight.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/options/decision_weight.h b/src/options/decision_weight.h index 42fef60bc..88def99e6 100644 --- a/src/options/decision_weight.h +++ b/src/options/decision_weight.h @@ -19,12 +19,12 @@ #ifndef CVC4__OPTIONS__DECISION_WEIGHT_H #define CVC4__OPTIONS__DECISION_WEIGHT_H -namespace CVC4 { +namespace CVC5 { namespace decision { typedef uint64_t DecisionWeight; -}/* CVC4::decision namespace */ -}/* CVC4 namespace */ +} // namespace decision +} // namespace CVC5 #endif /* CVC4__OPTIONS__DECISION_WEIGHT_H */ |