diff options
| author | Alexander Biehl <alexbiehl@gmail.com> | 2018-04-03 16:35:50 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-04-03 16:35:50 +0200 |
| commit | 256b908e0e2bf65812258c21b74d280f9a021cd4 (patch) | |
| tree | 1821743eff1bd1aea6a3b2a03275ea3bae40cc8a /html-test/ref/Bug310.html | |
| parent | 59812a09eb69cbf12407206381f4c214987b1efd (diff) | |
Travis: Build with ghc-8.4.2 (#793)
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 +> |