minimal

leouk · Nov 2, 2024 · f336e25 · f336e25
1 parent dea0561
commit f336e25
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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