Fix =!=> for runtime hypotheses#431

gares merged 1 commit into

LPCIC:masterLPCIC/elpi:masterfrom

VojtechStep:fix/runtime-implbangVojtechStep/elpi:fix/runtime-implbangCopy head branch name to clipboard