From a0901d53e88d0ef45f1035b0ba9e70565a9ec48e Mon Sep 17 00:00:00 2001 From: Zheng Liu Date: Tue, 20 Sep 2022 11:24:49 +0200 Subject: [PATCH] fine --- src/PandaModels.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/PandaModels.jl b/src/PandaModels.jl index 75627d1..b19f398 100644 --- a/src/PandaModels.jl +++ b/src/PandaModels.jl @@ -12,7 +12,7 @@ try import Gurobi catch e if isa(e, LoadError) - println("Cannot import Gurobi. That's find if you do not plan to use it") + println("Cannot import Gurobi. That's fine if you do not plan to use it") end end const _IM = InfrastructureModels