Merge branch 'with-passes' of /home/nr/papers/simon/dfopt into with-passes
authorNorman Ramsey <nr@cs.tufts.edu>
Thu, 22 Apr 2010 03:34:24 +0000 (23:34 -0400)
committerNorman Ramsey <nr@cs.tufts.edu>
Thu, 22 Apr 2010 03:34:24 +0000 (23:34 -0400)

Trivial merge