From 71d10c6b87ee371a70514d0d32c5e31603952699 Mon Sep 17 00:00:00 2001
From: Leo Freitas <Leo.Freitas@newcastle.ac.uk>
Date: Wed, 22 Mar 2023 14:35:46 +0000
Subject: [PATCH] still with #1 problem :-(

---
 .../src/test/resources/vdmslScenario/Precedence.vdmsl          | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/plugins/vdm-antlr/src/test/resources/vdmslScenario/Precedence.vdmsl b/plugins/vdm-antlr/src/test/resources/vdmslScenario/Precedence.vdmsl
index b26cc8d7..26c1e607 100644
--- a/plugins/vdm-antlr/src/test/resources/vdmslScenario/Precedence.vdmsl
+++ b/plugins/vdm-antlr/src/test/resources/vdmslScenario/Precedence.vdmsl
@@ -9,4 +9,7 @@ values
     v4: set of nat = {1} union {2} \ {1};
     v4': set of nat = ({1} union {2}) \ {1};
     --$x: nat = 10;
+    v5: nat * nat = mk_(1,2);
+    v51: nat = v5.#1;
+    v52: nat = mk_(1,2).#1;
 end Precedence
\ No newline at end of file