From 895e6d77a86b4680bfd1447e9a6008d404357543 Mon Sep 17 00:00:00 2001 From: alexbiehl Date: Fri, 2 Mar 2018 17:50:38 +0100 Subject: Revert "fix test" This reverts commit 1ac2f9569242f6cb074ba6e577285a4c33ae1197. --- html-test/ref/Bug458.html | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/html-test/ref/Bug458.html b/html-test/ref/Bug458.html index 1a174f94..aa99e719 100644 --- a/html-test/ref/Bug458.html +++ b/html-test/ref/Bug458.html @@ -63,7 +63,11 @@ >

See the defn of '⊆'.