Merge pull request #17897 from github/redsun82/rust-fix-compilation

Rust: fix semantic merge conflict about semantics
github · Nov 4, 2024 · 2ae721b · 2ae721b
2 parents bde517f + 6848a22
commit 2ae721b
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/rust/extractor/src/main.rs b/rust/extractor/src/main.rs
@@ -34,10 +34,6 @@ fn extract(
     let line_index = LineIndex::new(text.as_ref());
     let display_path = file.to_string_lossy();
     let mut trap = traps.create("source", file);
-    trap.writer.comment(format!(
-        "semantics: {}",
-        if semantics.is_some() { "yes" } else { "no" }
-    ));
     let label = trap.emit_file(file);
     let mut translator = translate::Translator::new(
         trap,