@@ -38,7 +38,7 @@ void GraphvizDotWriter::write_dot_file(std::ostream& os) {
3838 for (NodeId node : nodes_to_dump_) {
3939 node_slacks[node] = std::vector<TimingTag>(); // No slacks
4040 }
41- TimingType timing_type = TimingType::UNKOWN ;
41+ TimingType timing_type = TimingType::UNKNOWN ;
4242
4343 write_dot_format (os, node_tags, node_slacks, timing_type);
4444}
@@ -175,7 +175,7 @@ void GraphvizDotWriter::write_dot_edge(std::ostream& os, const EdgeId edge, cons
175175 } else if (timing_type == TimingType::HOLD) {
176176 os << " \\ n" << delay_calc_.hold_time (tg_, edge) << " (thld)" ;
177177 } else {
178- TATUM_ASSERT (timing_type == TimingType::UNKOWN );
178+ TATUM_ASSERT (timing_type == TimingType::UNKNOWN );
179179 // Create both setup and hold edges if type is unknown
180180 os << " \\ n" << -delay_calc_.setup_time (tg_, edge) << " (-tsu)" ;
181181 os << " \\ n" << delay_calc_.hold_time (tg_, edge) << " (thld)" ;
@@ -190,7 +190,7 @@ void GraphvizDotWriter::write_dot_edge(std::ostream& os, const EdgeId edge, cons
190190 } else if (timing_type == TimingType::HOLD) {
191191 os << " \\ n" << delay_calc_.min_edge_delay (tg_, edge);
192192 } else {
193- TATUM_ASSERT (timing_type == TimingType::UNKOWN );
193+ TATUM_ASSERT (timing_type == TimingType::UNKNOWN );
194194 os << " \\ n" << delay_calc_.max_edge_delay (tg_, edge) << " (tmax)" ;
195195 os << " \\ n" << delay_calc_.min_edge_delay (tg_, edge) << " (tmin)" ;
196196 }
0 commit comments