Skip to content

Commit a604853

Browse files
committed
fix error message
1 parent a4707b7 commit a604853

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/SCIP.jl

+1-1
Original file line numberDiff line numberDiff line change
@@ -27,7 +27,7 @@ function __init__()
2727
csip_installed = CSIPversion()
2828
if csip_installed != csip_required
2929
depsdir = realpath(joinpath(dirname(@__FILE__),"..","deps"))
30-
error("Current CSIP version installed is $(csip_installed), but we require $(csip_required). On Linux, delete the contents of the `$depsdir` directory except for `build.jl`, then rerun Pkg.build(\"SCIP\").")
30+
error("Current CSIP version installed is $(csip_installed), but we require $(csip_required). On Linux, delete the contents of the `$depsdir` directory except for `build.jl` and `csip_version.jl`, then rerun Pkg.build(\"SCIP\").")
3131
end
3232
end
3333

0 commit comments

Comments
 (0)