fixed documetation on hardening flags
Merge pull request #3411

08b93f9 fixed documetation on hardening flags (HaltingState)