From a302cffa9caaa0e9abf67c17fae6572eb22bfa0c Mon Sep 17 00:00:00 2001
From: Gareth Rees <gdr@ravenbrook.com>
Date: Thu, 23 Oct 2014 15:20:31 +0100
Subject: [PATCH] Correct name of splaytreefind.

Copied from Perforce
 Change: 187368
 ServerID: perforce.ravenbrook.com
---
 mps/design/splay.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mps/design/splay.txt b/mps/design/splay.txt
index e0e89f8ae05..0e77835f734 100644
--- a/mps/design/splay.txt
+++ b/mps/design/splay.txt
@@ -832,7 +832,7 @@ splay around the same key. The new root will be the last node in the
 sub-tree and will have a null right child; this is set to be the right
 child of the node to be deleted.
 
-_`.impl.search`: ``SplayTreeSearch()``: Splay the node around the
+_`.impl.find`: ``SplayTreeFind()``: Splay the node around the
 supplied key. If the splay found a matching node, return it; otherwise
 return failure.