Update Fixed_Output_RNG (used for testing) to implement is_seeded

1 files changed, 2 insertions, 0 deletions

diff --git a/checks/pk.cpp b/checks/pk.cpp
index f2c2401fd..478b57270 100644
--- a/checks/pk.cpp
+++ b/checks/pk.cpp
@@ -37,6 +37,8 @@ static BigInt to_bigint(const std::string& h)
 class Fixed_Output_RNG : public RandomNumberGenerator
    {
    public:
+      bool is_seeded() const { return true; }
+
       byte random()
          {
          if(position < output.size())