Explicitly remove __SIZEOF_INT128__ definition.#419

xavierleroy merged 1 commit intoAbsInt:masterAbsInt/CompCert:masterfrom

roconnor-blockstream:patch-1roconnor-blockstream/CompCert:patch-1Copy head branch name to clipboard