diff options
Diffstat (limited to 'html-test/ref/TypeFamilies.html')
| -rw-r--r-- | html-test/ref/TypeFamilies.html | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/html-test/ref/TypeFamilies.html b/html-test/ref/TypeFamilies.html index 58b0d41c..35f9e542 100644 --- a/html-test/ref/TypeFamilies.html +++ b/html-test/ref/TypeFamilies.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -1933,4 +1933,4 @@ ></div ></body ></html ->
\ No newline at end of file +> |