diff options
Diffstat (limited to 'src/decision/decision_attributes.h')
-rw-r--r-- | src/decision/decision_attributes.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/decision/decision_attributes.h b/src/decision/decision_attributes.h index be5987e6d..c34abd179 100644 --- a/src/decision/decision_attributes.h +++ b/src/decision/decision_attributes.h @@ -22,7 +22,7 @@ #include "options/decision_weight.h" #include "expr/attribute.h" -namespace CVC5 { +namespace cvc5 { namespace decision { namespace attr { struct DecisionWeightTag {}; @@ -31,6 +31,6 @@ namespace attr { typedef expr::Attribute<attr::DecisionWeightTag, DecisionWeight> DecisionWeightAttr; } // namespace decision -} // namespace CVC5 +} // namespace cvc5 #endif /* CVC4__DECISION__DECISION_ATTRIBUTES_H */ |