From f0e05fca8553b97f65c3102090848b8c4cf9e609 Mon Sep 17 00:00:00 2001 From: Alec Theriault Date: Thu, 18 Oct 2018 08:25:36 -0700 Subject: Accept tests --- html-test/ref/QuantifiedConstraints.html | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) (limited to 'html-test/ref/QuantifiedConstraints.html') diff --git a/html-test/ref/QuantifiedConstraints.html b/html-test/ref/QuantifiedConstraints.html index fa2c18ec..5e2ab488 100644 --- a/html-test/ref/QuantifiedConstraints.html +++ b/html-test/ref/QuantifiedConstraints.html @@ -1,9 +1,11 @@ QuantifiedConstraints