diff options
Diffstat (limited to 'tests/lean/misc-external/External/Opaque.lean')
| -rw-r--r-- | tests/lean/misc-external/External/Opaque.lean | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/tests/lean/misc-external/External/Opaque.lean b/tests/lean/misc-external/External/Opaque.lean index d3582de3..d641912b 100644 --- a/tests/lean/misc-external/External/Opaque.lean +++ b/tests/lean/misc-external/External/Opaque.lean @@ -19,8 +19,7 @@ structure OpaqueDefs where /- [core::num::nonzero::NonZeroU32::{14}::new] -/ core_num_nonzero_non_zero_u32_new_fwd : - UInt32 -> State -> Result (State × (Option - core_num_nonzero_non_zero_u32_t)) + U32 -> State -> Result (State × (Option core_num_nonzero_non_zero_u32_t)) /- [core::option::Option::{0}::unwrap] -/ core_option_option_unwrap_fwd |