From da7787ff4f1b5192b5465ca17ece64f5ebd4f72a Mon Sep 17 00:00:00 2001
From: Pierre Roux
Date: Tue, 20 Oct 2020 19:07:22 +0200
Subject: Allow multiple primitive notation on the same scope and triggers

Until now, declaring a number or string notation on some trigger
removed all previous notations on the same scope.

Bug discovered by Jason Gross while reviewing #12218.
---
 test-suite/output/StringSyntax.out | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'test-suite/output/StringSyntax.out')

diff --git a/test-suite/output/StringSyntax.out b/test-suite/output/StringSyntax.out
index 125c1bc927..68ee7cfeb5 100644
--- a/test-suite/output/StringSyntax.out
+++ b/test-suite/output/StringSyntax.out
@@ -1096,3 +1096,9 @@ Expects a single character or a three-digit ASCII code.
      : nat
 The command has indeed failed with message:
 Expects a single character or a three-digit ASCII code.
+"abc"
+     : string2
+"abc" : string2
+     : string2
+"abc" : string1
+     : string1
-- 
cgit v1.2.3