using std::vector;
namespace pv {
-namespace view {
+namespace views {
+namespace TraceView {
const int Header::Padding = 12;
const int Header::BaselineOffset = 5;
} while (restart);
}
-} // namespace view
+} // namespace TraceView
+} // namespace views
} // namespace pv