Ep3 NTE battles checkpoint 1

2024-02-03 18:03:09 -08:00
parent adb79e8a41
commit 4c735d055e
31 changed files with 1137 additions and 747 deletions
@@ -94,7 +94,7 @@ public:

  void restart();
  void shuffle();
-  void do_mulligan();
+  void do_mulligan(bool is_trial);

  void print(FILE* stream, std::shared_ptr<const CardIndex> card_index = nullptr) const;