From 72001fd9d2d4d935906590c8fb48e88bdd183287 Mon Sep 17 00:00:00 2001
From: Gareth Rees <gdr@ravenbrook.com>
Date: Sun, 15 Jul 2018 20:41:07 +0100
Subject: [PATCH] Reference the design.

Copied from Perforce
 Change: 194657
---
 mps/code/seg.c | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/mps/code/seg.c b/mps/code/seg.c
index 77e55647acb..0b7a0f1ba6a 100644
--- a/mps/code/seg.c
+++ b/mps/code/seg.c
@@ -1,7 +1,7 @@
 /* seg.c: SEGMENTS
  *
  * $Id$
- * Copyright (c) 2001-2016 Ravenbrook Limited.  See end of file for license.
+ * Copyright (c) 2001-2018 Ravenbrook Limited.  See end of file for license.
  *
  * .design: The design for this module is <design/seg/>.
  *
@@ -860,8 +860,7 @@ Bool SegCheck(Seg seg)
   CHECKL(AddrIsArenaGrain(TractBase(seg->firstTract), arena));
   CHECKL(AddrIsArenaGrain(seg->limit, arena));
   CHECKL(seg->limit > TractBase(seg->firstTract));
-  /* Can't BoolCheck seg->queued because compilers warn about that on
-     single-bit fields. */
+  /* CHECKL(BoolCheck(seq->queued)); <design/type/#bool.bitfield.check> */
 
   /* Each tract of the segment must agree about the segment and its
    * pool. Note that even if the CHECKs are compiled away there is
@@ -2165,7 +2164,7 @@ void SegClassMixInNoSplitMerge(SegClass klass)
 
 /* C. COPYRIGHT AND LICENSE
  *
- * Copyright (C) 2001-2016 Ravenbrook Limited <http://www.ravenbrook.com/>.
+ * Copyright (C) 2001-2018 Ravenbrook Limited <http://www.ravenbrook.com/>.
  * All rights reserved.  This is an open source license.  Contact
  * Ravenbrook for commercial licensing options.
  *