Avoid stepping into libuv while saving shared constants#607

ppotapov-aws merged 1 commit intomainleanprover/KLR:mainfrom

ppotapov/shared_constant_hash_followupleanprover/KLR:ppotapov/shared_constant_hash_followupCopy head branch name to clipboard