diff --git a/aqua-examples/vrfun/README.md b/aqua-examples/vrfun/README.md index 0a765a1..e5d265a 100644 --- a/aqua-examples/vrfun/README.md +++ b/aqua-examples/vrfun/README.md @@ -1,4 +1,4 @@ -# Verifiable Random Function With Marine +# Verifiable Random Function With Marine And Aqua ## Overview