diff --git a/owi.opam.template b/owi.opam.template
index e4aebd6c..9b86583d 100644
--- a/owi.opam.template
+++ b/owi.opam.template
@@ -6,4 +6,5 @@ depexts: [
 pin-depends: [
   [ "crowbar.dev" "git+https://github.com/stedolan/crowbar#1ab53fb088d56578b48301bc4cfb859331a10d78"]
   ["alt-ergo-lib.2.6.0" "git+https://github.com/OCamlPro/alt-ergo.git#7ee96296a5de9588a4d585b3b8abec35f4755425"]
+  ["alt-ergo.2.6.0" "git+https://github.com/OCamlPro/alt-ergo.git#7ee96296a5de9588a4d585b3b8abec35f4755425"]
 ]