diff --git a/exercises/ex_02_sumlist.v b/exercises/ex_02_sumlist.v
index cc2d15aa3ed9fbe9d13f7e4d13c9126b020958cb..c0b90f9630d4cb52f2da2f21915f844641e8512e 100644
--- a/exercises/ex_02_sumlist.v
+++ b/exercises/ex_02_sumlist.v
@@ -38,14 +38,14 @@ Definition sum_inc_list : val := λ: "n" "l",
(** A function that maps a function over all elements of a list: *)
Definition map_list : val :=
- rec: "inc_list" "f" "l" :=
+ rec: "map_list" "f" "l" :=
match: "l" with
NONE => #()
| SOME "p" =>
let: "x" := Fst !"p" in
let: "l" := Snd !"p" in
"p" <- ("f" "x", "l");;
- "inc_list" "f" "l"
+ "map_list" "f" "l"
end.
Section proof.
diff --git a/solutions/ex_02_sumlist.v b/solutions/ex_02_sumlist.v
index b4c8db19a6c10daeb60275db6fdb47d7aa7aa7b3..66573147173aa9bdfdf7e4eb780a788afdfb3280 100644
--- a/solutions/ex_02_sumlist.v
+++ b/solutions/ex_02_sumlist.v
@@ -38,14 +38,14 @@ Definition sum_inc_list : val := λ: "n" "l",
(** A function that maps a function over all elements of a list: *)
Definition map_list : val :=
- rec: "inc_list" "f" "l" :=
+ rec: "map_list" "f" "l" :=
match: "l" with
NONE => #()
| SOME "p" =>
let: "x" := Fst !"p" in
let: "l" := Snd !"p" in
"p" <- ("f" "x", "l");;
- "inc_list" "f" "l"
+ "map_list" "f" "l"
end.
Section proof.