From f0e74b7f2a75ae105418b9f5bb462a29bb7e6343 Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Mon, 1 Oct 2018 12:11:42 +0100 Subject: [PATCH] Fix for module name clash (and thus linking error) in the Visual Studio solution. --- src/util/lp/{bound_propagator.cpp => lp_bound_propagator.cpp} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename src/util/lp/{bound_propagator.cpp => lp_bound_propagator.cpp} (100%) diff --git a/src/util/lp/bound_propagator.cpp b/src/util/lp/lp_bound_propagator.cpp similarity index 100% rename from src/util/lp/bound_propagator.cpp rename to src/util/lp/lp_bound_propagator.cpp