From 044a130da29eb91dc850fee4290225b95ad577a4 Mon Sep 17 00:00:00 2001
From: Gareth Rees <gdr@ravenbrook.com>
Date: Sat, 27 Sep 2014 23:22:25 +0100
Subject: [PATCH] Need "www." in the url, otherwise the fragment identifier
 gets lost as a result of the redirect.

Copied from Perforce
 Change: 187074
 ServerID: perforce.ravenbrook.com
---
 mps/code/mpsliban.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mps/code/mpsliban.c b/mps/code/mpsliban.c
index 38600537f87..092c1d3543a 100644
--- a/mps/code/mpsliban.c
+++ b/mps/code/mpsliban.c
@@ -70,7 +70,7 @@ static void mps_lib_assert_fail_default(const char *file, unsigned line,
                 "The MPS detected a problem!\n"
                 "%s:%u: MPS ASSERTION FAILED: %s\n"
                 "See the \"Assertions\" section in the reference manual:\n"
-                "http://ravenbrook.com/project/mps/master/manual/html/topic/error.html#assertions\n",
+                "http://www.ravenbrook.com/project/mps/master/manual/html/topic/error.html#assertions\n",
                 file, line, condition);
   /* Ensure the message is output even if stderr is buffered. */
   (void)fflush(stderr);