diff options
Diffstat (limited to 'src/expr/attribute_unique_id.h')
| -rw-r--r-- | src/expr/attribute_unique_id.h | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/expr/attribute_unique_id.h b/src/expr/attribute_unique_id.h index 247e0b1f1..f084baaa1 100644 --- a/src/expr/attribute_unique_id.h +++ b/src/expr/attribute_unique_id.h @@ -21,7 +21,7 @@ // ATTRIBUTE IDs ============================================================ -namespace CVC4 { +namespace CVC5 { namespace expr { namespace attr { @@ -59,8 +59,8 @@ public: AttrTableId getTableId() const{ return d_tableId; } uint64_t getWithinTypeId() const{ return d_withinTypeId; } -};/* CVC4::expr::attr::AttributeUniqueId */ +}; /* CVC5::expr::attr::AttributeUniqueId */ -}/* CVC4::expr::attr namespace */ -}/* CVC4::expr namespace */ -}/* CVC4 namespace */ +} // namespace attr +} // namespace expr +} // namespace CVC5 |