aboutsummaryrefslogtreecommitdiffhomepage
path: root/tests/entities.ur
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@csail.mit.edu>2018-05-19 16:39:49 -0400
committerGravatar GitHub <noreply@github.com>2018-05-19 16:39:49 -0400
commit077666b77bf21054e1e1f67ba61dfbaf57525378 (patch)
treef38f14cf8adb099d94fdc28d52c64ae879a0359d /tests/entities.ur
parent30edae2956d346e7df7ca27fcc77432e45cea99e (diff)
parent4c01511f5bf2229da7b146943444278d714ed7d6 (diff)
Merge pull request #123 from ashalkhakov/tests
Adding Selenium-based checking to tests.
Diffstat (limited to 'tests/entities.ur')
-rw-r--r--tests/entities.ur6
1 files changed, 3 insertions, 3 deletions
diff --git a/tests/entities.ur b/tests/entities.ur
index 8b78edbc..1f45520d 100644
--- a/tests/entities.ur
+++ b/tests/entities.ur
@@ -1,5 +1,5 @@
fun main () : transaction page = return <xml><body>
- Hello world! &amp; so on, &copy; me today (8 &euro;)<br/>
- &spades; &clubs; &hearts; &diams;<br/>
- &dagger; DANGER &dagger;
+ <p>Hello world! &amp; so on, &copy; me today (8 &euro;)</p>
+ <p>&spades; &clubs; &hearts; &diams;</p>
+ <p>&dagger; DANGER &dagger;</p>
</body></xml>