diff --git a/src/plugins/e-acsl/src/analyses/bound_variables.mli b/src/plugins/e-acsl/src/analyses/bound_variables.mli
index 688e5c1ac9ef90761576655d6169c2204fe8e018..74a083830f787f6552f09fbaf7880857b5259b5d 100644
Binary files a/src/plugins/e-acsl/src/analyses/bound_variables.mli and b/src/plugins/e-acsl/src/analyses/bound_variables.mli differ