1 files changed, 4 insertions, 7 deletions
diff --git a/tests/eq.ur b/tests/eq.ur
index 14c50e3a..1a780a57 100644
--- a/tests/eq.ur
+++ b/tests/eq.ur
@@ -1,7 +1,4 @@
-val b1 = 1 = 1
-val b2 = "Good" = "Bad"
-
-fun eq_pair (t1 :: Type) (t2 :: Type) (eq1 : eq t1) (eq2 : eq t2) (x : t1 * t2) (y : t1 * t2) =
-        x.1 = y.1
-
-val b3 = True <> False
+fun main () : transaction page = return <xml><body>
+  {txt _ (1 = 1)}, {txt _ (1 = 2)}<br/>
+  {txt _ (1 <> 1)}, {txt _ (1 <> 2)}
+</body></xml>