From 0a71a708e5521c523503306a11e9bc769108befc Mon Sep 17 00:00:00 2001 From: Jens Maurer Date: Sat, 14 Dec 2019 01:13:58 +0100 Subject: [PATCH] [span.cons] to_address cannot throw --- source/containers.tex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/source/containers.tex b/source/containers.tex index e328678f96..109368b267 100644 --- a/source/containers.tex +++ b/source/containers.tex @@ -10704,7 +10704,7 @@ \pnum \throws -When and what \tcode{to_address(first)} throws. +Nothing. \end{itemdescr} \indexlibraryctor{span}% @@ -10747,7 +10747,7 @@ \pnum \throws -When and what \tcode{to_address(first)} throws. +Nothing. \end{itemdescr} \indexlibraryctor{span}%