From c69621e42f32f0fb972029aad3b2f8aecb387639 Mon Sep 17 00:00:00 2001 From: Stefan Vigerske Date: Sun, 11 Dec 2022 15:27:35 +0100 Subject: [PATCH] use SCIPsnprintf instead of snprint - available on all platforms --- src/symmetry/compute_symmetry_bliss.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/symmetry/compute_symmetry_bliss.cpp b/src/symmetry/compute_symmetry_bliss.cpp index aa06c51455..203a64a384 100644 --- a/src/symmetry/compute_symmetry_bliss.cpp +++ b/src/symmetry/compute_symmetry_bliss.cpp @@ -971,9 +971,9 @@ initStaticBlissName( ) { blissname = new char[100]; #ifdef BLISS_PATCH_PRESENT - (void) snprintf(blissname, 100, "bliss %sp", bliss::version); + (void) SCIPsnprintf(blissname, 100, "bliss %sp", bliss::version); #else - (void) snprintf(blissname, 100, "bliss %s", bliss::version); + (void) SCIPsnprintf(blissname, 100, "bliss %s", bliss::version); #endif return blissname; }