tree dd350ad537e13d2975c5455d681161f07d1b9f0e
parent b77697637f399300ee5468bceb5d37ab167e3151
author Jeffrey Overbey <jeffreyoverbey@acm.org> 1132166936 +0000
committer Jeffrey Overbey <jeffreyoverbey@acm.org> 1132166936 +0000

Changed default implicit spec