Updates for rustc. #108

Merged
merged 1 commit into from Nov 5, 2014