From cbc93af955970106aebae6b213011338fd072141 Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Sat, 28 Mar 2026 23:29:43 +0000 Subject: [PATCH] Remove deprecated set_attribute calls from static_verifier.cpp Fixes: #8027 --- src/goto-analyzer/static_verifier.cpp | 6 ------ 1 file changed, 6 deletions(-) diff --git a/src/goto-analyzer/static_verifier.cpp b/src/goto-analyzer/static_verifier.cpp index 73a16bb50a8..ed621fb6c4c 100644 --- a/src/goto-analyzer/static_verifier.cpp +++ b/src/goto-analyzer/static_verifier.cpp @@ -60,12 +60,6 @@ xmlt static_verifier_resultt::output_xml(void) const x.set_attribute("status", as_string(this->status)); - // DEPRECATED(SINCE(2020, 12, 2, "Remove and use the structured version")); - // Unstructured partial output of source location is not great... - x.set_attribute("file", id2string(this->source_location.get_file())); - x.set_attribute("line", id2string(this->source_location.get_line())); - - // ... this is better x.new_element(xml(source_location)); // ( get_comment is not output as part of xml(source_location) )