From c43a52f261e025f9066ed8a7f8b330ef93d2ee69 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= <francois.bobot@cea.fr>
Date: Mon, 18 Jan 2021 22:28:10 +0100
Subject: [PATCH] [OPAM] Update dolmen version

---
 colibri2.opam          | 6 +++---
 colibri2.opam.template | 6 +++---
 2 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/colibri2.opam b/colibri2.opam
index ae8ca35ae..a58a31c1a 100644
--- a/colibri2.opam
+++ b/colibri2.opam
@@ -46,7 +46,7 @@ build: [
 ]
 dev-repo: "git+https://git.frama-c.com/bobot/colibrics.git"
 pin-depends: [
-  [ "dolmen.0.5~dev" "git+https://github.com/bobot/dolmen.git#add_parametricity_in_smt" ]
-  [ "dolmen_type.0.5~dev" "git+https://github.com/bobot/dolmen.git#add_parametricity_in_smt" ]
-  [ "dolmen_loop.0.5~dev" "git+https://github.com/bobot/dolmen.git#add_parametricity_in_smt" ]
+  [ "dolmen.0.5~dev" "git+https://github.com/bobot/dolmen.git#for_colibri2" ]
+  [ "dolmen_type.0.5~dev" "git+https://github.com/bobot/dolmen.git#for_colibri2" ]
+  [ "dolmen_loop.0.5~dev" "git+https://github.com/bobot/dolmen.git#for_colibri2" ]
 ]
diff --git a/colibri2.opam.template b/colibri2.opam.template
index 3d592a98a..d285ebc0a 100644
--- a/colibri2.opam.template
+++ b/colibri2.opam.template
@@ -1,5 +1,5 @@
 pin-depends: [
-  [ "dolmen.0.5~dev" "git+https://github.com/bobot/dolmen.git#add_parametricity_in_smt" ]
-  [ "dolmen_type.0.5~dev" "git+https://github.com/bobot/dolmen.git#add_parametricity_in_smt" ]
-  [ "dolmen_loop.0.5~dev" "git+https://github.com/bobot/dolmen.git#add_parametricity_in_smt" ]
+  [ "dolmen.0.5~dev" "git+https://github.com/bobot/dolmen.git#for_colibri2" ]
+  [ "dolmen_type.0.5~dev" "git+https://github.com/bobot/dolmen.git#for_colibri2" ]
+  [ "dolmen_loop.0.5~dev" "git+https://github.com/bobot/dolmen.git#for_colibri2" ]
 ]
-- 
GitLab