From 02212816bb958891e92c61ec23765da4be7159f4 Mon Sep 17 00:00:00 2001
From: Kevin Broch <kbroch@rivosinc.com>
Date: Wed, 24 Jan 2024 17:18:39 -0800
Subject: fix broken alloy link

relates to #1201

Signed-off-by: Kevin Broch <kbroch@rivosinc.com>
---
 src/mm-alloy.adoc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/mm-alloy.adoc')

diff --git a/src/mm-alloy.adoc b/src/mm-alloy.adoc
index 93c0c41..1352fad 100644
--- a/src/mm-alloy.adoc
+++ b/src/mm-alloy.adoc
@@ -2,7 +2,7 @@
 == Formal Axiomatic Specification in Alloy
 
 We present a formal specification of the RVWMO memory model in Alloy
-(http://alloy.mit.edu). This model is available online at
+(https://alloytools.org/). This model is available online at
 https://github.com/daniellustig/riscv-memory-model.
 
 The online material also contains some litmus tests and some examples of
-- 
cgit v1.1

