defaultLPsolverfor -> solver

JuliaPolyhedra · May 2, 2018 · 5891254 · 5891254
1 parent 026109e
commit 5891254
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/polyhedron.jl b/src/polyhedron.jl
@@ -201,7 +201,7 @@ end
 #end
 _getrepfor(p::LRSPolyhedron, ::Polyhedra.HIndex, status::Symbol) = getinem(p, status)
 _getrepfor(p::LRSPolyhedron, ::Polyhedra.VIndex, status::Symbol) = getextm(p, status)
-function isredundant(p::LRSPolyhedron, idx::Polyhedra.Index; strongly=false, cert=false, solver=Polyhedra.defaultLPsolverfor(p))
+function isredundant(p::LRSPolyhedron, idx::Polyhedra.Index; strongly=false, cert=false, solver=Polyhedra.solver(p))
     @assert !strongly && !cert
     redundi(_getrepfor(p, idx, :AlmostFresh), idx.value) # FIXME does it need to be fresh ?
 end