diff --git a/mccs.opam b/mccs.opam
index e8b0064..598fa43 100644
--- a/mccs.opam
+++ b/mccs.opam
@@ -1,5 +1,5 @@
 opam-version: "2.0"
-version: "1.1+16"
+version: "1.1+17"
 maintainer: "Louis Gesbert <louis.gesbert@ocamlpro.com>"
 authors: [
   "Claude Michel <claude.michel@unice.fr>"