diff --git a/flake.lock b/flake.lock
index d3770e7c..fe1551d8 100644
--- a/flake.lock
+++ b/flake.lock
@@ -26,11 +26,11 @@
         "rust-overlay": "rust-overlay"
       },
       "locked": {
-        "lastModified": 1778592754,
-        "narHash": "sha256-Q+zpB/CDXaYELfdHbE/MnkBL3gn17RQgAIa2WVPaKE8=",
+        "lastModified": 1779976260,
+        "narHash": "sha256-YI0l3Av/MrvIunGQ0p1mImPckvM+hXofuAOrnQNMSIA=",
         "owner": "aeneasverif",
         "repo": "charon",
-        "rev": "e656e17bff6ca5efac8ab6919b9b74cb9a8dd8ad",
+        "rev": "103daa06617306f28c2515e87efdcfc1a94dc7a2",
         "type": "github"
       },
       "original": {
diff --git a/out/test-issue_105/issue_105.c b/out/test-issue_105/issue_105.c
index cd3d0ac8..ef6fc8a4 100644
--- a/out/test-issue_105/issue_105.c
+++ b/out/test-issue_105/issue_105.c
@@ -81,6 +81,7 @@ with const generics
 */
 inline core_result_Result_1d core_result_from_residual_1f_48(core_result_Result_8f residual)
 {
+  EURYDICE_ASSERT(!!((ptrdiff_t)residual.tag == (ptrdiff_t)1), "assert failure");
   uint8_t e = residual.val.case_Err;
   return
     (