info: PANIC at Option.get! Init.Data.Option.BasicAux:22:14: value is none
backtrace:
/home/michael/.elan/toolchains/leanprover--lean4---v4.26.0-rc2/lib/lean/libleanshared.so(+0x9a933ae) [0x7f4c98c933ae]
/home/michael/.elan/toolchains/leanprover--lean4---v4.26.0-rc2/lib/lean/libleanshared.so(lean_panic_fn+0x1c) [0x7f4c98c9383c]
/home/michael/.elan/toolchains/leanprover--lean4---v4.26.0-rc2/lib/lean/libleanshared.so(+0x99baff2) [0x7f4c98bbaff2]
/home/michael/.elan/toolchains/leanprover--lean4---v4.26.0-rc2/lib/lean/libleanshared.so(+0x99b92e5) [0x7f4c98bb92e5]
/home/michael/.elan/toolchains/leanprover--lean4---v4.26.0-rc2/lib/lean/libleanshared.so(+0x99bb2a6) [0x7f4c98bbb2a6]
/home/michael/.elan/toolchains/leanprover--lean4---v4.26.0-rc2/lib/lean/libleanshared.so(+0x99b92e5) [0x7f4c98bb92e5]
/home/michael/.elan/toolchains/leanprover--lean4---v4.26.0-rc2/lib/lean/libleanshared.so(+0x99bb2a6) [0x7f4c98bbb2a6]
/home/michael/.elan/toolchains/leanprover--lean4---v4.26.0-rc2/lib/lean/libleanshared.so(+0x99b92e5) [0x7f4c98bb92e5]
/home/michael/.elan/toolchains/leanprover--lean4---v4.26.0-rc2/lib/lean/libleanshared.so(+0x99bb2a6) [0x7f4c98bbb2a6]
/home/michael/.elan/toolchains/leanprover--lean4---v4.26.0-rc2/lib/lean/libleanshared.so(+0x99b92e5) [0x7f4c98bb92e5]
/home/michael/.elan/toolchains/leanprover--lean4---v4.26.0-rc2/lib/lean/libleanshared.so(+0x99bb2a6) [0x7f4c98bbb2a6]
/home/michael/.elan/toolchains/leanprover--lean4---v4.26.0-rc2/lib/lean/libleanshared.so(+0x99b92e5) [0x7f4c98bb92e5]
/home/michael/.elan/toolchains/leanprover--lean4---v4.26.0-rc2/lib/lean/libleanshared.so(+0x99bb2a6) [0x7f4c98bbb2a6]
/home/michael/.elan/toolchains/leanprover--lean4---v4.26.0-rc2/lib/lean/libleanshared.so(+0x99b92e5) [0x7f4c98bb92e5]
/home/michael/.elan/toolchains/leanprover--lean4---v4.26.0-rc2/lib/lean/libleanshared.so(+0x99bb2a6) [0x7f4c98bbb2a6]
/home/michael/.elan/toolchains/leanprover--lean4---v4.26.0-rc2/lib/lean/libleanshared.so(+0x99b92e5) [0x7f4c98bb92e5]
/home/michael/.elan/toolchains/leanprover--lean4---v4.26.0-rc2/lib/lean/libleanshared.so(+0x99bb2a6) [0x7f4c98bbb2a6]
/home/michael/.elan/toolchains/leanprover--lean4---v4.26.0-rc2/lib/lean/libleanshared.so(+0x99b92e5) [0x7f4c98bb92e5]
/home/michael/.elan/toolchains/leanprover--lean4---v4.26.0-rc2/lib/lean/libleanshared.so(+0x99bc760) [0x7f4c98bbc760]
/home/michael/.elan/toolchains/leanprover--lean4---v4.26.0-rc2/lib/lean/libleanshared.so(+0x99b5617) [0x7f4c98bb5617]
/home/michael/.elan/toolchains/leanprover--lean4---v4.26.0-rc2/lib/lean/libleanshared.so(+0x99bc3c7) [0x7f4c98bbc3c7]
/home/michael/.elan/toolchains/leanprover--lean4---v4.26.0-rc2/lib/lean/libleanshared.so(+0x99bc09d) [0x7f4c98bbc09d]
/home/michael/.elan/toolchains/leanprover--lean4---v4.26.0-rc2/lib/lean/libleanshared.so(lean_apply_4+0x126f) [0x7f4c98ca510f]
/home/michael/.elan/toolchains/leanprover--lean4---v4.26.0-rc2/lib/lean/libleanshared.so(lean_apply_4+0xbec) [0x7f4c98ca4a8c]
/home/michael/.elan/toolchains/leanprover--lean4---v4.26.0-rc2/lib/lean/libleanshared.so(l___private_Init_Data_Array_Basic_0__Array_forIn_x27Unsafe_loop___at___00__private_Init_Data_Array_Basic_0__Array_forIn_x27Unsafe_loop___at___00Lean_Elab_Command_runLinters_spec__12_spec__12___lam__2+0x183) [0x7f4c92d2c6c3]
/home/michael/.elan/toolchains/leanprover--lean4---v4.26.0-rc2/lib/lean/libleanshared.so(lean_apply_3+0x8ff) [0x7f4c98ca2e0f]
/home/michael/.elan/toolchains/leanprover--lean4---v4.26.0-rc2/lib/lean/libleanshared.so(l___private_Init_Data_Array_Basic_0__Array_forIn_x27Unsafe_loop___at___00__private_Init_Data_Array_Basic_0__Array_forIn_x27Unsafe_loop___at___00Lean_Elab_Command_runLinters_spec__12_spec__12+0x1b3) [0x7f4c92d2d653]
/home/michael/.elan/toolchains/leanprover--lean4---v4.26.0-rc2/lib/lean/libleanshared.so(l___private_Init_Data_Array_Basic_0__Array_forIn_x27Unsafe_loop___at___00Lean_Elab_Command_runLinters_spec__12+0x314) [0x7f4c92d2dc94]
/home/michael/.elan/toolchains/leanprover--lean4---v4.26.0-rc2/lib/lean/libleanshared.so(l_Lean_Elab_Command_runLinters___lam__1+0xef) [0x7f4c92d2dfaf]
/home/michael/.elan/toolchains/leanprover--lean4---v4.26.0-rc2/lib/lean/libleanshared.so(l_Lean_Elab_Command_runLinters___lam__1___boxed+0x9) [0x7f4c92d2e3e9]
/home/michael/.elan/toolchains/leanprover--lean4---v4.26.0-rc2/lib/lean/libleanshared.so(lean_apply_3+0x970) [0x7f4c98ca2e80]
/home/michael/.elan/toolchains/leanprover--lean4---v4.26.0-rc2/lib/lean/libleanshared.so(l_Lean_withTraceNode___at___00Lean_Elab_Command_runLinters_spec__6___boxed+0x2d) [0x7f4c92d2e43d]
/home/michael/.elan/toolchains/leanprover--lean4---v4.26.0-rc2/lib/lean/libleanshared.so(lean_apply_1+0x108d) [0x7f4c98c9fe5d]
/home/michael/.elan/toolchains/leanprover--lean4---v4.26.0-rc2/lib/lean/libleanshared.so(l_Lean_profileitIOUnsafe___redArg___lam__0+0xb) [0x7f4c98aad25b]
/home/michael/.elan/toolchains/leanprover--lean4---v4.26.0-rc2/lib/lean/libleanshared.so(lean_apply_1+0xb53) [0x7f4c98c9f923]
/home/michael/.elan/toolchains/leanprover--lean4---v4.26.0-rc2/lib/lean/libleanshared.so(lean_apply_1+0xb53) [0x7f4c98c9f923]
/home/michael/.elan/toolchains/leanprover--lean4---v4.26.0-rc2/lib/lean/libleanshared.so(lean_profileit+0x83) [0x7f4c98bac7b3]
/home/michael/.elan/toolchains/leanprover--lean4---v4.26.0-rc2/lib/lean/libleanshared.so(l_Lean_profileitIOUnsafe___redArg+0x82) [0x7f4c98aad402]
/home/michael/.elan/toolchains/leanprover--lean4---v4.26.0-rc2/lib/lean/libleanshared.so(l_Lean_Elab_Command_runLinters+0x192) [0x7f4c92d2e272]
/home/michael/.elan/toolchains/leanprover--lean4---v4.26.0-rc2/lib/lean/libleanshared.so(l_Lean_Elab_Command_runLintersAsync___lam__0___boxed+0x9) [0x7f4c92d3f5b9]
/home/michael/.elan/toolchains/leanprover--lean4---v4.26.0-rc2/lib/lean/libleanshared.so(lean_apply_3+0xb5b) [0x7f4c98ca306b]
/home/michael/.elan/toolchains/leanprover--lean4---v4.26.0-rc2/lib/lean/libleanshared.so(l_Lean_Elab_Command_wrapAsyncAsSnapshot___redArg___lam__1+0x3a1) [0x7f4c92d3ab71]
/home/michael/.elan/toolchains/leanprover--lean4---v4.26.0-rc2/lib/lean/libleanshared.so(lean_apply_3+0x970) [0x7f4c98ca2e80]
/home/michael/.elan/toolchains/leanprover--lean4---v4.26.0-rc2/lib/lean/libleanshared.so(l_IO_withStderr___at___00IO_FS_withIsolatedStreams___at___00Lean_Elab_Command_wrapAsyncAsSnapshot_spec__21_spec__24___redArg+0x2c) [0x7f4c92d3a0ec]
/home/michael/.elan/toolchains/leanprover--lean4---v4.26.0-rc2/lib/lean/libleanshared.so(lean_apply_3+0x970) [0x7f4c98ca2e80]
/home/michael/.elan/toolchains/leanprover--lean4---v4.26.0-rc2/lib/lean/libleanshared.so(l_IO_withStdout___at___00IO_FS_withIsolatedStreams___at___00Lean_Elab_Command_wrapAsyncAsSnapshot_spec__21_spec__21___redArg+0x2c) [0x7f4c92d39a3c]
/home/michael/.elan/toolchains/leanprover--lean4---v4.26.0-rc2/lib/lean/libleanshared.so(lean_apply_3+0x970) [0x7f4c98ca2e80]
/home/michael/.elan/toolchains/leanprover--lean4---v4.26.0-rc2/lib/lean/libleanshared.so(l_IO_withStdin___at___00IO_FS_withIsolatedStreams___at___00Lean_Elab_Command_wrapAsyncAsSnapshot_spec__21_spec__22___redArg+0x2c) [0x7f4c92d39d8c]
/home/michael/.elan/toolchains/leanprover--lean4---v4.26.0-rc2/lib/lean/libleanshared.so(l_IO_FS_withIsolatedStreams___at___00Lean_Elab_Command_wrapAsyncAsSnapshot_spec__21___redArg+0xf8) [0x7f4c92d3a4b8]
/home/michael/.elan/toolchains/leanprover--lean4---v4.26.0-rc2/lib/lean/libleanshared.so(lean_apply_4+0x1184) [0x7f4c98ca5024]
/home/michael/.elan/toolchains/leanprover--lean4---v4.26.0-rc2/lib/lean/libleanshared.so(l_Lean_Elab_Command_wrapAsync___redArg___lam__0+0x43) [0x7f4c92d2f933]
/home/michael/.elan/toolchains/leanprover--lean4---v4.26.0-rc2/lib/lean/libleanshared.so(lean_apply_2+0x1273) [0x7f4c98ca1a53]
/home/michael/.elan/toolchains/leanprover--lean4---v4.26.0-rc2/lib/lean/libleanshared.so(l_Lean_Elab_Command_wrapAsyncAsSnapshot___redArg___lam__3+0x21) [0x7f4c92d3b291]
/home/michael/.elan/toolchains/leanprover--lean4---v4.26.0-rc2/lib/lean/libleanshared.so(lean_apply_2+0x1273) [0x7f4c98ca1a53]
/home/michael/.elan/toolchains/leanprover--lean4---v4.26.0-rc2/lib/lean/libleanshared.so(lean_apply_2+0x124c) [0x7f4c98ca1a2c]
/home/michael/.elan/toolchains/leanprover--lean4---v4.26.0-rc2/lib/lean/libleanshared.so(+0x9ab867b) [0x7f4c98cb867b]
/home/michael/.elan/toolchains/leanprover--lean4---v4.26.0-rc2/lib/lean/libleanshared.so(lean_apply_1+0x1204) [0x7f4c98c9ffd4]
/home/michael/.elan/toolchains/leanprover--lean4---v4.26.0-rc2/lib/lean/libleanshared.so(lean_apply_1+0x119f) [0x7f4c98c9ff6f]
/home/michael/.elan/toolchains/leanprover--lean4---v4.26.0-rc2/lib/lean/libleanshared.so(+0x9a9d7b8) [0x7f4c98c9d7b8]
/home/michael/.elan/toolchains/leanprover--lean4---v4.26.0-rc2/lib/lean/libleanshared.so(+0x9a9eaa1) [0x7f4c98c9eaa1]
/home/michael/.elan/toolchains/leanprover--lean4---v4.26.0-rc2/lib/lean/libleanshared.so(+0x9a91225) [0x7f4c98c91225]
/lib/x86_64-linux-gnu/libc.so.6(+0x92b7b) [0x7f4c8f09cb7b]
/lib/x86_64-linux-gnu/libc.so.6(+0x1107b8) [0x7f4c8f11a7b8]