Merge branch 'three-eight' of linux.cs.tufts.edu:/r/c--/papers/dfopt into three-eight
authorNorman Ramsey <nr@cs.tufts.edu>
Mon, 26 Apr 2010 20:58:04 +0000 (16:58 -0400)
committerNorman Ramsey <nr@cs.tufts.edu>
Mon, 26 Apr 2010 20:58:04 +0000 (16:58 -0400)

Trivial merge