The VERSION file is out of date

[Bruno Dutertre]

VERSION still says 1.7.3 but the latest is 1.7.4?

[Armin Biere]

Thanks, but be moved on to 1.8.0 anyhow, and here it should be fixed.