From 6e7427777b7b51ddff0e01d58944d3824d02e1c5 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Wed, 14 Jun 2023 12:25:49 +0100 Subject: Update cohpred git submodule --- .gitmodules | 2 +- lib/cohpred | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.gitmodules b/.gitmodules index e54fbb8..64fe9ee 100644 --- a/.gitmodules +++ b/.gitmodules @@ -3,4 +3,4 @@ url = https://github.com/ymherklotz/CompCert.git [submodule "lib/cohpred"] path = lib/cohpred - url = https://git.sr.ht/~ymherklotz/cohpred + url = https://gitlab.inria.fr/pred-tv/cohpred diff --git a/lib/cohpred b/lib/cohpred index f949630..e78079a 160000 --- a/lib/cohpred +++ b/lib/cohpred @@ -1 +1 @@ -Subproject commit f949630783e17c062d58ade955868883f5610322 +Subproject commit e78079ab6504359eedf48cfc60ff58e8593e30a7 -- cgit