From ade1e0e92071690da2f6f93a42e120087e1edf3c Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Wed, 11 May 2022 10:32:14 +0200
Subject: [PATCH] [qed] changes @modify to @before in Logic
---
src/plugins/qed/logic.mli | 10 +++++-----
1 file changed, 5 insertions(+), 5 deletions(-)
diff --git a/src/plugins/qed/logic.mli b/src/plugins/qed/logic.mli
index 4c62da6281b..f481bf9030c 100644
--- a/src/plugins/qed/logic.mli
+++ b/src/plugins/qed/logic.mli
@@ -451,7 +451,7 @@ sig
The [force] parameters defaults to [false], when it is [true], if there
exist another builtin, it is replaced with the new one. Use with care.
- @modify 22.0-Titanium add optional [force] parameter
+ @before 22.0-Titanium the optional [force] parameter does not exist
*)
val set_builtin' :
@@ -467,7 +467,7 @@ sig
The [force] parameters defaults to [false], when it is [true], if there
exist another builtin, it is replaced with the new one. Use with care.
- @modify 22.0-Titanium add optional [force] parameter
+ @before 22.0-Titanium the optional [force] parameter does not exist
*)
val set_builtin_get :
@@ -479,7 +479,7 @@ sig
The [force] parameters defaults to [false], when it is [true], if there
exist another builtin, it is replaced with the new one. Use with care.
- @modify 22.0-Titanium add optional [force] parameter
+ @before 22.0-Titanium the optional [force] parameter does not exist
*)
val set_builtin_eq :
@@ -494,7 +494,7 @@ sig
The [force] parameters defaults to [false], when it is [true], if there
exist another builtin, it is replaced with the new one. Use with care.
- @modify 22.0-Titanium add optional [force] parameter
+ @before 22.0-Titanium the optional [force] parameter does not exist
*)
val set_builtin_leq :
@@ -510,7 +510,7 @@ sig
The [force] parameters defaults to [false], when it is [true], if there
exist another builtin, it is replaced with the new one. Use with care.
- @modify 22.0-Titanium add optional [force] parameter
+ @before 22.0-Titanium the optional [force] parameter does not exist
*)
(** {3 Specific Patterns} *)
--
GitLab