chiark / gitweb /
some rearrangement to allow us to swap in a different local optimizer
authorstevenj <stevenj@alum.mit.edu>
Sat, 25 Aug 2007 17:34:33 +0000 (13:34 -0400)
committerstevenj <stevenj@alum.mit.edu>
Sat, 25 Aug 2007 17:34:33 +0000 (13:34 -0400)
commit3c37a4c634aa4ddebe1d466b62eef9a0833034b9
tree8157dba1f5696cc81bf8937c4d52bcf6ef7a0a1a
parent25a8e57e2a03605b4e868d9debce3b1975016975
some rearrangement to allow us to swap in a different local optimizer

darcs-hash:20070825173433-c8de0-f7b21720bd8156639b7bae66482d73cff6e57bee.gz
stogo/local.cc