diff options
Diffstat (limited to 'dev')
| -rw-r--r-- | dev/changements.txt | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/dev/changements.txt b/dev/changements.txt index c488bed580..0d007bd300 100644 --- a/dev/changements.txt +++ b/dev/changements.txt @@ -33,4 +33,8 @@ Changements dans les fonctions : app_tl_vect -> array_app_tl cons_vect -> array_cons - Std.comp -> Util.compose + Std + comp -> Util.compose + rev_append -> List.rev_append + +
\ No newline at end of file |