anonymise github link in sail manual.

1 files changed, 1 insertions, 1 deletions

diff --git a/doc/riscv.tex b/doc/riscv.tex
index 2ecc69df..299a7bdd 100644
--- a/doc/riscv.tex
+++ b/doc/riscv.tex
@@ -137,4 +137,4 @@ end execute
 
 The actual code for this example, as well as our more complete
 \riscv\ specification can be found on our github at
-\url{https://github.com/rems-project/sail/blob/sail2/riscv/riscv_duopod.sail}.
+\anonymise{\url{https://github.com/rems-project/sail/blob/sail2/riscv/riscv_duopod.sail}}.