diff options
| author | Michael Williamson <mike@zwobble.org> | 2026-07-02 11:07:28 +0100 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2026-07-02 11:07:28 +0100 |
| commit | 09dd58c172d70411e880450c8961a28dd127f76f (patch) | |
| tree | c8fbfcf6c78a25205c04ff4ea33e1f9d83de842e /src/main | |
| parent | fe0b53ce5b3577284f9020832c0f4bd3c0c2f58d (diff) | |
Add generation header to generated Rust files
Diffstat (limited to 'src/main')
| -rw-r--r-- | src/main/java/org/zwobble/hobgoblin/compiler/output/lang/rust/RustWriter.java | 2 |
1 files changed, 2 insertions, 0 deletions
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, |