From 09dd58c172d70411e880450c8961a28dd127f76f Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Thu, 2 Jul 2026 11:07:28 +0100
Subject: Add generation header to generated Rust files

---
 .../org/zwobble/hobgoblin/compiler/output/lang/rust/RustWriter.java     | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/main/java')

diff --git a/src/main/java/org/zwobble/hobgoblin/compiler/output/lang/rust/RustWriter.java b/src/main/java/org/zwobble/hobgoblin/compiler/output/lang/rust/RustWriter.java
index 602fd2a..59b792c 100644
--- a/src/main/java/org/zwobble/hobgoblin/compiler/output/lang/rust/RustWriter.java
+++ b/src/main/java/org/zwobble/hobgoblin/compiler/output/lang/rust/RustWriter.java
@@ -40,6 +40,8 @@ public class RustWriter implements AutoCloseable {
     // == Modules ==
 
     public void writeModule(RustModule module) throws IOException {
+        this.writer.writeHeader();
+
         writeWithSeparator(
             module.items(),
             this::writeItem,
-- 
cgit v1.2.3