...to "A formal model of sequence points and related issues".
Committed.
Gerald
Index: readings.html
===================================================================
RCS file: /cvs/gcc/wwwdocs/htdocs/readings.html,v
retrieving revision 1.298
diff -u -r1.298 readings.html
--- readings.html 1 Sep 2018 11:56:19 -0000 1.298
+++ readings.html 1 Sep 2018 13:33:58 -0000
@@ -348,7 +348,7 @@
<li><a href="http://www.open-std.org/jtc1/sc22/wg14/www/docs/n925.htm";>
A formal model of sequence points and related issues by
Clive Feather</a></li>
- <li><a href="http://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-453.pdf";>
+ <li><a href="https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-453.pdf";>
C formalised in HOL, thesis by Michael Norrish</a></li>
<li><a href="http://www.open-std.org/jtc1/sc22/wg14/www/docs/n926.htm";>
Sequence points analysis by Raymond Mak</a></li>
