From f336e253dd9d39dfca9b9c2f02c6aeca3f8d0752 Mon Sep 17 00:00:00 2001
From: Leo Freitas <Leo.Freitas@newcastle.ac.uk>
Date: Sat, 2 Nov 2024 10:47:49 +0000
Subject: [PATCH] minimal

---
 vdm2isa/src/test/resources/lvl0/TestV2IFcns.vdmsl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/vdm2isa/src/test/resources/lvl0/TestV2IFcns.vdmsl b/vdm2isa/src/test/resources/lvl0/TestV2IFcns.vdmsl
index a91eb9e5..51a40d1d 100644
--- a/vdm2isa/src/test/resources/lvl0/TestV2IFcns.vdmsl
+++ b/vdm2isa/src/test/resources/lvl0/TestV2IFcns.vdmsl
@@ -21,7 +21,7 @@ functions
 	-- "normal" function with declared specification
 	g: nat * nat1 -> nat1
 	g(x, y) == x + y
-	pre x > 10 
+	pre x > 10 			--@thmAttr pre_g[simp,intro!]
 	post x < RESULT;
 
 	-- "normal" function with declared specification and pre/post references