From f14c66ed548a039cf233b876fe5bf9f4fec094e0 Mon Sep 17 00:00:00 2001
From: Richard Brooksby <rb@ravenbrook.com>
Date: Thu, 3 Mar 2016 22:30:10 +0000
Subject: [PATCH] Removing incorrect assertion the stack pointers are word
 aligned.

Updating comments to refer to tags within design documents.

Copied from Perforce
 Change: 189639
 ServerID: perforce.ravenbrook.com
---
 mps/code/ss.c | 2 +-
 mps/code/ss.h | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/mps/code/ss.c b/mps/code/ss.c
index 7bee73ffe1c..2916794ebd7 100644
--- a/mps/code/ss.c
+++ b/mps/code/ss.c
@@ -29,7 +29,7 @@ SRCID(ss, "$Id$");
  * On all supported platforms, the arguments are pushed on to the
  * stack by the caller below its other local data, so as long as
  * it does not use something like alloca, the address of the argument
- * is a hot stack pointer.
+ * is a hot stack pointer.  See design.mps.ss.sol.stack.hot.
  */
 
 void StackHot(void **stackOut)
diff --git a/mps/code/ss.h b/mps/code/ss.h
index f0000bc530c..80bd86f9d37 100644
--- a/mps/code/ss.h
+++ b/mps/code/ss.h
@@ -18,7 +18,7 @@
  *
  * The jumpBuffer is used to capture most of the mutator's state on
  * entry to the MPS, but can't capture it all.  See
- * design.mps.stack-scan for detailed discussion.
+ * design.mps.stack-scan.sol.setjmp.scan.
  */
 
 #include <setjmp.h>