From b14ebe6de5719380458eeada2513bc50a33f5e56 Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonyg@leastfixedpoint.com>
Date: Wed, 11 Aug 2021 18:03:43 -0400
Subject: [PATCH] Avoid needless schemas/mod.rs file

---
 src/lib.rs         | 6 +++++-
 src/schemas/mod.rs | 1 -
 2 files changed, 5 insertions(+), 2 deletions(-)
 delete mode 100644 src/schemas/mod.rs

diff --git a/src/lib.rs b/src/lib.rs
index 2823759..c2abbb8 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -8,7 +8,11 @@ pub mod error;
 pub mod pattern;
 pub mod relay;
 pub mod rewrite;
-pub mod schemas;
+
+pub mod schemas {
+    include!(concat!(env!("OUT_DIR"), "/src/schemas/mod.rs"));
+}
+
 pub mod skeleton;
 pub mod sturdy;
 pub mod tracer;
diff --git a/src/schemas/mod.rs b/src/schemas/mod.rs
deleted file mode 100644
index ff86a90..0000000
--- a/src/schemas/mod.rs
+++ /dev/null
@@ -1 +0,0 @@
-include!(concat!(env!("OUT_DIR"), "/src/schemas/mod.rs"));