From ad74716f84440527b895c3cfab29ede757a7a1f7 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Wed, 20 Apr 2022 17:21:32 +0200
Subject: [PATCH] [Kernel] convert @modify to @before and update changes

---
 src/kernel_services/ast_queries/logic_const.mli | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/kernel_services/ast_queries/logic_const.mli b/src/kernel_services/ast_queries/logic_const.mli
index 608071816f2..1fc039f8df1 100644
--- a/src/kernel_services/ast_queries/logic_const.mli
+++ b/src/kernel_services/ast_queries/logic_const.mli
@@ -59,7 +59,8 @@ val refresh_spec: funspec -> funspec
 val toplevel_predicate: ?kind:predicate_kind -> predicate -> toplevel_predicate
 
 (** creates a new identified predicate with a fresh id.
-    @modify 22.0-Titanium add [only_check] optional parameter
+    @before 22.0-Titanium no [only_check] parameter.
+    @before 23.0-Vanadium [kind] parameter was named [only_check].
 *)
 val new_predicate: ?kind:predicate_kind -> predicate -> identified_predicate
 
-- 
GitLab