diff --git a/ecma-sl.opam b/ecma-sl.opam
index 663c141bc..e94212033 100644
--- a/ecma-sl.opam
+++ b/ecma-sl.opam
@@ -56,5 +56,5 @@ build: [
 ]
 dev-repo: "git+https://github.com/formalsec/ECMA-SL.git"
 pin-depends: [
-  [ "smtml.0.4.1" "git+https://github.com/formalsec/smtml.git#807ca82df56183920e2ed5a6e968a98330e68c33" ]
+  [ "smtml.0.5.0" "git+https://github.com/formalsec/smtml.git#5d3459acb3def2eb851422a6febb7cbf29a9087e" ]
 ]
diff --git a/ecma-sl.opam.template b/ecma-sl.opam.template
index dc9e7aa6b..7e6b9be78 100644
--- a/ecma-sl.opam.template
+++ b/ecma-sl.opam.template
@@ -1,3 +1,3 @@
 pin-depends: [
-  [ "smtml.0.4.1" "git+https://github.com/formalsec/smtml.git#807ca82df56183920e2ed5a6e968a98330e68c33" ]
+  [ "smtml.0.5.0" "git+https://github.com/formalsec/smtml.git#5d3459acb3def2eb851422a6febb7cbf29a9087e" ]
 ]