Delete minus1Trunc.v, close #434

The diff will be the same in both cases.  (I assume you meant `git commit -a` or `git add minus1Trunc.v` after the `rm`.)