638 skip alignment checking block#877

jberthold wants to merge 1 commit intomasterruntimeverification/mir-semantics:masterfrom

638-skip-alignment-checking-blockruntimeverification/mir-semantics:638-skip-alignment-checking-blockCopy head branch name to clipboard