Bump TUDDCIM to fix $isunknown

pulp-platform · Nov 1, 2024 · e8497b8 · e8497b8
1 parent 3274a6c
commit e8497b8
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/Bender.lock b/Bender.lock
@@ -281,7 +281,7 @@ packages:
     dependencies:
     - common_verification
   tuddcim:
-    revision: 2ba72f4574e5ca86854602da5fd100d53bdd2df9
+    revision: 4a4bf5c51a62216188b5a1e918abb11fb15937e6
     version: null
     source:
       Git: git@gitlab.tue.nl:es/convolve-private/tuddcim.git

diff --git a/Bender.yml b/Bender.yml
@@ -19,7 +19,7 @@ dependencies:
   apb:                      { git: "https://github.com/pulp-platform/apb.git",                version: 0.2.4          }
   TUEDCIM:                  { git: "git@gitlab.tue.nl:es/convolve-private/tuedcim.git",           rev: 30102024-3}
   TUEMEGA:                  { git: "git@gitlab.tue.nl:es/convolve-private/tuemega.git",           rev: 11102024}
-  TUDDCIM:                  { git: "git@gitlab.tue.nl:es/convolve-private/tuddcim.git",           rev: 01112024-2}
+  TUDDCIM:                  { git: "git@gitlab.tue.nl:es/convolve-private/tuddcim.git",           rev: 01112024-3}
   KULCLUSTER:               { git: "git@gitlab.tue.nl:es/convolve-private/kulcluster.git",        rev: 17102024}
   ETHCluster:               { git: "git@gitlab.tue.nl:es/convolve-private/ethcluster.git",        rev: 31102024-3}