From 9c23d5d3a21c8ef36204a4d66da4cdf488a08f72 Mon Sep 17 00:00:00 2001 From: Ben Gamari Date: Mon, 8 Feb 2016 14:32:41 +0100 Subject: html-test: Accept test output --- html-test/ref/Ticket75.html | 45 +++++++++++++++++++++------------------------ 1 file changed, 21 insertions(+), 24 deletions(-) (limited to 'html-test/ref/Ticket75.html') diff --git a/html-test/ref/Ticket75.html b/html-test/ref/Ticket75.html index 169b0522..948453cf 100644 --- a/html-test/ref/Ticket75.html +++ b/html-test/ref/Ticket75.html @@ -1,32 +1,33 @@ - Ticket75

 

  • data a a :- b = b = Q
  • f :: :: Int

    • data a a :- b

    Q 

    f :: :: Int

    A reference to :-

    +> \ No newline at end of file -- cgit v1.2.3