rust/hedgewars-server/src/server.rs
changeset 15570 d524b7450576
parent 15547 863059f61793
child 15881 212e16c60bf5
--- a/rust/hedgewars-server/src/server.rs	Sun May 17 04:07:10 2020 +0300
+++ b/rust/hedgewars-server/src/server.rs	Mon May 18 21:17:46 2020 +0300
@@ -1,6 +1,7 @@
 #[cfg(feature = "official-server")]
 mod database;
 pub mod demo;
+mod haskell;
 #[cfg(feature = "official-server")]
 pub mod io;
 pub mod network;