Update hindley.cs