diff options
Diffstat (limited to '')
| -rw-r--r-- | tests/lean/misc/loops/Loops/Funs.lean | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tests/lean/misc/loops/Loops/Funs.lean b/tests/lean/misc/loops/Loops/Funs.lean index 33a3a881..8b7e8a1f 100644 --- a/tests/lean/misc/loops/Loops/Funs.lean +++ b/tests/lean/misc/loops/Loops/Funs.lean @@ -221,7 +221,8 @@ def get_elem_shared_fwd get_elem_shared_loop_fwd x l /- [loops::id_mut] -/ -def id_mut_fwd (T : Type) (ls : list_t T) : result (list_t T) := result.ret ls +def id_mut_fwd (T : Type) (ls : list_t T) : result (list_t T) := + result.ret ls /- [loops::id_mut] -/ def id_mut_back |