Skip to content

Commit

Permalink
Fix bug on redundantrows
Browse files Browse the repository at this point in the history
  • Loading branch information
blegat committed Apr 3, 2016
1 parent 008c87d commit e3eeb83
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/operations.jl
Original file line number Diff line number Diff line change
Expand Up @@ -97,7 +97,7 @@ function dd_redundantrows(matrix::Ptr{Cdd_MatrixData{GMPRational}})
redundant_list
end
function redundantrows(matrix::CDDMatrix)
Base.convert(IntSet, CDDSet(dd_redundantrows(matrix.matrix), size(matrix, 2)))
Base.convert(IntSet, CDDSet(dd_redundantrows(matrix.matrix), size(matrix, 1)))
end
function redundantrows(repr::Representation)
redundantrows(Base.convert(CDDMatrix, repr))
Expand Down

0 comments on commit e3eeb83

Please sign in to comment.