From 1ca557a29bfe5188dbc2accd1ad710d2d20a076d Mon Sep 17 00:00:00 2001 From: Jacob Nevins Date: Tue, 11 Jan 2022 23:11:18 +0000 Subject: [PATCH] udp: Correct name of ProxySocket type in example. (I don't think this type has ever been called 'Proxy'.) --- doc/udp.but | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/udp.but b/doc/udp.but index bd3000dc..489b329b 100644 --- a/doc/udp.but +++ b/doc/udp.but @@ -558,8 +558,8 @@ based on the offset within that structure of the field called This system is flexible enough to permit \q{multiple inheritance}, or rather, multiple \e{implementation}: having one object type implement -more than one trait. For example, the \cw{Proxy} type implements both -the \cw{Socket} trait and the \cw{Plug} trait that connects to it, +more than one trait. For example, the \cw{ProxySocket} type implements +both the \cw{Socket} trait and the \cw{Plug} trait that connects to it, because it has to act as an adapter between another instance of each of those types.