From 8026cd950f5aab787e9b1576f7954a2827a338c8 Mon Sep 17 00:00:00 2001 From: Nick Battle Date: Tue, 14 May 2024 10:29:23 +0100 Subject: [PATCH] Changed annotations.json to "high" precision --- annotations/src/main/resources/META-INF/annotations.json | 2 +- annotations2/src/main/resources/META-INF/annotations.json | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/annotations/src/main/resources/META-INF/annotations.json b/annotations/src/main/resources/META-INF/annotations.json index 40a3dbd11..236bb9103 100644 --- a/annotations/src/main/resources/META-INF/annotations.json +++ b/annotations/src/main/resources/META-INF/annotations.json @@ -2,5 +2,5 @@ "name": "annotations", "description": "Standard VDMJ Annotations", "dialects": [ "vdmsl", "vdmpp", "vdmrt" ], - "precision": "standard" + "precision": "high" } \ No newline at end of file diff --git a/annotations2/src/main/resources/META-INF/annotations.json b/annotations2/src/main/resources/META-INF/annotations.json index a7a94debb..d56a68481 100644 --- a/annotations2/src/main/resources/META-INF/annotations.json +++ b/annotations2/src/main/resources/META-INF/annotations.json @@ -2,5 +2,5 @@ "name": "annotations2", "description": "Experimental VDMJ Annotations", "dialects": [ "vdmsl", "vdmpp", "vdmrt" ], - "precision": "standard" + "precision": "high" } \ No newline at end of file