Removed compilation flag nocontractswarning.