From a3b62d01ff6e1173bfd2228ecf1653b20cb6c67e Mon Sep 17 00:00:00 2001 From: buildbot Date: Thu, 15 Dec 2022 22:06:54 +0000 Subject: [PATCH] Auto-update libraries git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@42570 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c --- lib/ivy.xml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/lib/ivy.xml b/lib/ivy.xml index b00e2d03540..a8f7a41bf3c 100644 --- a/lib/ivy.xml +++ b/lib/ivy.xml @@ -102,8 +102,8 @@ SPDX-License-Identifier: Apache-2.0 - - + +