✖ [5863/13928] Building Mathlib.Computability.TMToPartrec:c.o
trace: .> /Users/zwarich/.elan/toolchains/leanprover--lean4---v4.22.0-rc3/bin/clang -c -o /Users/zwarich/mathlib4-release/.lake/build/ir/Mathlib/Computability/TMToPartrec.c.o.export /Users/zwarich/mathlib4-release/.lake/build/ir/Mathlib/Computability/TMToPartrec.c -I /Users/zwarich/.elan/toolchains/leanprover--lean4---v4.22.0-rc3/include -fstack-clash-protection -fwrapv -fvisibility=hidden -Wno-unused-command-line-argument --sysroot /Users/zwarich/.elan/toolchains/leanprover--lean4---v4.22.0-rc3 -nostdinc -isystem /Users/zwarich/.elan/toolchains/leanprover--lean4---v4.22.0-rc3/include/clang -O3 -DNDEBUG -DLEAN_EXPORTING
info: stderr:
/Users/zwarich/mathlib4-release/.lake/build/ir/Mathlib/Computability/TMToPartrec.c:2350:26: error: redefinition of 'l_Turing_PartrecToTM2_Cont_x27___sizeOf__1'
 2350 | LEAN_EXPORT lean_object* l_Turing_PartrecToTM2_Cont_x27___sizeOf__1(lean_object* x_1) {
      |                          ^
/Users/zwarich/mathlib4-release/.lake/build/ir/Mathlib/Computability/TMToPartrec.c:1698:26: note: previous definition is here
 1698 | LEAN_EXPORT lean_object* l_Turing_PartrecToTM2_Cont_x27___sizeOf__1(lean_object* x_1) {
      |                          ^
/Users/zwarich/mathlib4-release/.lake/build/ir/Mathlib/Computability/TMToPartrec.c:2369:21: error: redefinition of '_init_l_Turing_PartrecToTM2_Cont_x27___sizeOf__inst'
 2369 | static lean_object* _init_l_Turing_PartrecToTM2_Cont_x27___sizeOf__inst() {
      |                     ^
/Users/zwarich/mathlib4-release/.lake/build/ir/Mathlib/Computability/TMToPartrec.c:1742:21: note: previous definition is here
 1742 | static lean_object* _init_l_Turing_PartrecToTM2_Cont_x27___sizeOf__inst() {
      |                     ^
/Users/zwarich/mathlib4-release/.lake/build/ir/Mathlib/Computability/TMToPartrec.c:2377:26: error: redefinition of 'l_Turing_PartrecToTM2_K_x27___sizeOf__1'
 2377 | LEAN_EXPORT lean_object* l_Turing_PartrecToTM2_K_x27___sizeOf__1(uint8_t x_1) {
      |                          ^
/Users/zwarich/mathlib4-release/.lake/build/ir/Mathlib/Computability/TMToPartrec.c:1914:26: note: previous definition is here
 1914 | LEAN_EXPORT lean_object* l_Turing_PartrecToTM2_K_x27___sizeOf__1(uint8_t x_1) {
      |                          ^
/Users/zwarich/mathlib4-release/.lake/build/ir/Mathlib/Computability/TMToPartrec.c:2385:26: error: redefinition of 'l_Turing_PartrecToTM2_K_x27___sizeOf__1___boxed'
 2385 | LEAN_EXPORT lean_object* l_Turing_PartrecToTM2_K_x27___sizeOf__1___boxed(lean_object* x_1) {
      |                          ^
/Users/zwarich/mathlib4-release/.lake/build/ir/Mathlib/Computability/TMToPartrec.c:1922:26: note: previous definition is here
 1922 | LEAN_EXPORT lean_object* l_Turing_PartrecToTM2_K_x27___sizeOf__1___boxed(lean_object* x_1) {
      |                          ^
/Users/zwarich/mathlib4-release/.lake/build/ir/Mathlib/Computability/TMToPartrec.c:2403:21: error: redefinition of '_init_l_Turing_PartrecToTM2_K_x27___sizeOf__inst'
 2403 | static lean_object* _init_l_Turing_PartrecToTM2_K_x27___sizeOf__inst() {
      |                     ^
/Users/zwarich/mathlib4-release/.lake/build/ir/Mathlib/Computability/TMToPartrec.c:1940:21: note: previous definition is here
 1940 | static lean_object* _init_l_Turing_PartrecToTM2_K_x27___sizeOf__inst() {
      |                     ^
5 errors generated.
error: external command '/Users/zwarich/.elan/toolchains/leanprover--lean4---v4.22.0-rc3/bin/clang' exited with code 1