coq-of-solidity: upgrade to Coq 8.19

formal-land · Dec 11, 2024 · a926bff · a926bff
1 parent 3dd39d3
commit a926bff
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/.github/workflows/coq.yml b/.github/workflows/coq.yml
@@ -20,7 +20,7 @@ jobs:
       run: git submodule update --init --recursive
     - uses: coq-community/docker-coq-action@v1
       with:
-        custom_image: coqorg/coq:8.18-ocaml-4.14-flambda
+        custom_image: coqorg/coq:8.19-ocaml-4.14-flambda
         custom_script: |
           startGroup "Install dependencies"
             sudo apt-get update

diff --git a/coq/CoqOfSolidity/RecordUpdate.v b/coq/CoqOfSolidity/RecordUpdate.v
@@ -44,7 +44,7 @@ Ltac2 record_with_set_val (ty : constr) (record : constr)
   let (h, args) :=
     match Constr.Unsafe.kind ty with
     | Constr.Unsafe.App h args => (h, args)
-    | _ => (ty, Array.empty ())
+    | _ => (ty, Array.empty)
     end in
   let ctor := constructor_of_record h in
   let getters := List.map (fun getterRef =>

diff --git a/coq/CoqOfSolidity/coq-of-solidity.opam b/coq/CoqOfSolidity/coq-of-solidity.opam
@@ -14,7 +14,7 @@ homepage: "https://github.com/formal-land/solidity"
 bug-reports: "https://github.com/formal-land/solidity/issues"
 dev-repo: "git+https://github.com/formal-land/solidity.git"
 depends: [
-  "coq" {>= "8.18.0" }
+  "coq" {>= "8.19.0" }
   "coq-coqutil" {>= "0.0.5"}
   "coq-hammer"
   "ocaml" {>= "4.08"}