made main menu friendlier

2024-07-15 16:29:06 -04:00
parent 5e48265c16
commit 73cdb88458
3 changed files with 27 additions and 10 deletions
--- a/src/menu.h
+++ b/src/menu.h
@ -15,7 +15,7 @@ private:
 public:
        menu(const feature enabled_features);
        int run(input *in);
-        void print(display *out);
+        void print(display *out, const unsigned int seed);
 };

 #endif