Rust: fix semantic merge conflict about semantics

Paolo Tranquilli · Paolo Tranquilli · commit 6848a22c6595 · 2024-11-04T10:04:40.000+01:00
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,
