bugfix: don't revert to platform rand source, but to jenkins source!
diff --git a/demo/test.c b/demo/test.c
index 4e5339e..5ffc908 100644
--- a/demo/test.c
+++ b/demo/test.c
@@ -129,7 +129,7 @@ static int test_mp_rand(void)
break;
}
}
- mp_rand_source(NULL);
+ mp_rand_source(s_mp_rand_jenkins);
mp_clear_multi(&a, &b, NULL);
return err == MP_OKAY ? EXIT_SUCCESS : EXIT_FAILURE;
}