Fix lambda-term.1.6 checksum
Merge pull request #1924 from samoht/master

Fix lambda-term.1.6 checksum