pass pool() to InstOrder, speeds things up
authorKlaus Kaempf <kkaempf@suse.de>
Sat, 11 Feb 2006 19:41:16 +0000 (19:41 +0000)
committerKlaus Kaempf <kkaempf@suse.de>
Sat, 11 Feb 2006 19:41:16 +0000 (19:41 +0000)
commit87ae21c8ee026925eac68798c3f996d80f6d7ac5
tree9240e05bae0d48b741decea944353032a054595d
parentf35d14c3143015f4f4197cf615bae44c5d52dab4
pass pool() to InstOrder, speeds things up
testsuite/solver/src/deptestomatic.cc