From dc7d74f9ea5357f4ed2fd158e455e009ad472adf Mon Sep 17 00:00:00 2001
From: Caleb Xu <calebcenter@live.com>
Date: Fri, 20 Sep 2019 10:51:51 -0400
Subject: [PATCH] compcert 3.6

---
 Formula/compcert.rb | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Formula/compcert.rb b/Formula/compcert.rb
index c7004d4844..1c172da0df 100644
--- a/Formula/compcert.rb
+++ b/Formula/compcert.rb
@@ -1,8 +1,8 @@
 class Compcert < Formula
   desc "Formally verified C compiler"
   homepage "http://compcert.inria.fr"
-  url "https://github.com/AbsInt/CompCert/archive/v3.5.tar.gz"
-  sha256 "1ea01f9fe9dcfb664dec3b0076bd9ae0d54bb9d79279b5351ab12cc32369b509"
+  url "https://github.com/AbsInt/CompCert/archive/v3.6.tar.gz"
+  sha256 "7a77839f6b990ab632ba14feccf4f17da189f0e3b95d6ce2ef0986e4caebc575"
 
   bottle do
     cellar :any_skip_relocation