Merge branch 'master' of labrador:/home/nr/papers/simon/dfopt into with-passes
authorNorman Ramsey <nr@cs.tufts.edu>
Fri, 16 Apr 2010 22:48:40 +0000 (18:48 -0400)
committerNorman Ramsey <nr@cs.tufts.edu>
Fri, 16 Apr 2010 22:48:40 +0000 (18:48 -0400)

Trivial merge