aboutsummaryrefslogtreecommitdiff
path: root/html-test/ref/mini_PruneWithWarning.html
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2015-12-25 11:03:11 +0100
committerBen Gamari <ben@smart-cactus.org>2015-12-25 11:03:11 +0100
commit0104ef892820383845b3dce44c46899fec2f04f0 (patch)
tree81eba131303296aeb5ef5c880504cab0932dcab2 /html-test/ref/mini_PruneWithWarning.html
parent2d4680f12f8c9cd647049eb1e3e56531bd44e880 (diff)
parent3f50b955324bd4b42f88a421f0203bc46a3ccf64 (diff)
Merge remote-tracking branch 'idontgetoutmuch/ghc-head' into ghc-head
Diffstat (limited to 'html-test/ref/mini_PruneWithWarning.html')
-rw-r--r--html-test/ref/mini_PruneWithWarning.html2
1 files changed, 2 insertions, 0 deletions
diff --git a/html-test/ref/mini_PruneWithWarning.html b/html-test/ref/mini_PruneWithWarning.html
index 9eb3aa00..e73dc510 100644
--- a/html-test/ref/mini_PruneWithWarning.html
+++ b/html-test/ref/mini_PruneWithWarning.html
@@ -7,6 +7,8 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
+ ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ></script
><script type="text/javascript"
>//<![CDATA[
window.onload = function () {pageLoad();};