diff options
Diffstat (limited to 'html-test/ref/TypeOperators.html')
| -rw-r--r-- | html-test/ref/TypeOperators.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/html-test/ref/TypeOperators.html b/html-test/ref/TypeOperators.html index 1a53b8ec..2e80bf9f 100644 --- a/html-test/ref/TypeOperators.html +++ b/html-test/ref/TypeOperators.html @@ -120,7 +120,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_TypeOperators.html");} ><p class="src" ><a name="v:biO" class="def" >biO</a - > :: (g <a href="" + > :: (g <a href="" >`O`</a > f) a</p ></div |