From 6ed813c122a5a52986f34d2d387223ec3af49c57 Mon Sep 17 00:00:00 2001
From: Akim Demaille <akim.demaille@gmail.com>
Date: Sun, 24 May 2020 15:16:15 +0200
Subject: [PATCH] tests: fix expectations

Should have been part of 1ec93ca2a2b4718b5d94871475520a2688b4c5c8.

* tests/counterexample.at: here.
---
 tests/counterexample.at | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/tests/counterexample.at b/tests/counterexample.at
index 6cddb501..d8582000 100644
--- a/tests/counterexample.at
+++ b/tests/counterexample.at
@@ -440,7 +440,7 @@ Second derivation  $accept ::=[ a ::=[ c ::=[ • ]  d ::=[ c  A  A ] ]  $end ]
 Reduce-Reduce Conflict:
 2:    3 b: . %empty
 2:    4 c: . %empty
-On Symbols: {A,}
+On Symbols: A
 time limit exceeded: 6.000000
 First  Example b  •  c  A  A  $end
 First  derivation  $accept ::=[ a ::=[ b  d ::=[ a ::=[ b ::=[ • ]  d ::=[ c  A  A ] ] ] ]  $end ]
@@ -450,7 +450,7 @@ Second derivation  $accept ::=[ a ::=[ b  d ::=[ c ::=[ • ]  A ] ]  $end ]
 Reduce-Reduce Conflict:
 3:    3 b: . %empty
 3:    4 c: . %empty
-On Symbols: {A,}
+On Symbols: A
 time limit exceeded: 6.000000
 First  Example c  •  c  A  A  $end
 First  derivation  $accept ::=[ a ::=[ c  d ::=[ a ::=[ b ::=[ • ]  d ::=[ c  A  A ] ] ] ]  $end ]