diff options
Diffstat (limited to 'html-test/ref/Bug310.html')
| -rw-r--r-- | html-test/ref/Bug310.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/html-test/ref/Bug310.html b/html-test/ref/Bug310.html index e8ce24f8..47da5387 100644 --- a/html-test/ref/Bug310.html +++ b/html-test/ref/Bug310.html @@ -89,7 +89,7 @@ >Addition of type-level naturals.</p ><p ><em - >Since: 4.7.0.0</em + >Since: base-4.7.0.0</em ></p ></div ></div @@ -99,4 +99,4 @@ ></div ></body ></html ->
\ No newline at end of file +> |