-
Henrik Zimmer authored
Bug fix: if no integers shall be rounded, search for biggest real value when makeing constraints independent. This is to avoid dividing by a really small value. git-svn-id: http://www.openflipper.org/svnrepo/CoMISo/trunk@23 1355f012-dd97-4b2f-ae87-10fa9f823a57
60220513