From f84d9daa44de7cee629757ec9bb5a0577d35df25 Mon Sep 17 00:00:00 2001
From: Basile Desloges <basile.desloges@cea.fr>
Date: Wed, 15 Dec 2021 15:45:20 +0100
Subject: [PATCH] [eacsl] Remove stray NUL character in comment

---
 .../e-acsl/src/analyses/bound_variables.mli   | Bin 3154 -> 3153 bytes
 1 file changed, 0 insertions(+), 0 deletions(-)

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
GIT binary patch
delta 12
Tcmca4aZzH!39ij2xjGpECiVqp

delta 14
Vcmca8aY<ss2`)y4%_q1z838S$1!e#M

-- 
GitLab