From d9fc2992c94a117a8faeb77bf958ed36757ec688 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Wed, 12 Feb 2020 15:30:57 +0100
Subject: [PATCH] [ACSL ext] Typo in a test
---
tests/spec/Extend_preprocess.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/tests/spec/Extend_preprocess.ml b/tests/spec/Extend_preprocess.ml
index a81bc3b7ce8..51e60d55440 100644
--- a/tests/spec/Extend_preprocess.ml
+++ b/tests/spec/Extend_preprocess.ml
@@ -9,7 +9,7 @@ open Logic_const
- global: gl
replaces node "must_replace(x)" with "<kind>_ok(x)". The typing phase
validates that we find the right "<kind>_ok" for each kind of extension:
- - if a must_replaced is found, it fails,
+ - if a must_replace is found, it fails,
- if the wrong kind is found, a "\false" is generated
- if everything is ok "\true" is generated
*)
--
GitLab