From 56a879c6c63f15e10798e33693285b0e57f63056 Mon Sep 17 00:00:00 2001
From: Pierre-Yves Strub <pierre-yves@strub.nu>
Date: Sun, 21 Jul 2024 18:29:06 +0200
Subject: [PATCH] submodule: update jasmin

---
 .github/workflows/prover-ec-dev-version.yml | 2 +-
 jasmin                                      | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/prover-ec-dev-version.yml b/.github/workflows/prover-ec-dev-version.yml
index 610b1e07..2ccd8b51 100644
--- a/.github/workflows/prover-ec-dev-version.yml
+++ b/.github/workflows/prover-ec-dev-version.yml
@@ -10,7 +10,7 @@ env:
   OPAMROOT: /home/charlie/.opam
   OPAMYES: true
   OPAMJOBS: 2
-  ECRJOBS: 1
+  ECRJOBS: 2
 
 jobs:
   ec:
diff --git a/jasmin b/jasmin
index e5b0796a..88a932b2 160000
--- a/jasmin
+++ b/jasmin
@@ -1 +1 @@
-Subproject commit e5b0796a8fa2e19b9b1ecba413d65c11c5dd07ed
+Subproject commit 88a932b2bf478345597f75be31ae25e5acefafae