Unstable name

AeneasVerif · Sep 9, 2024 · 3eb0288 · 3eb0288
1 parent 5f7caee
commit 3eb0288
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/include/eurydice_glue.h b/include/eurydice_glue.h
@@ -225,6 +225,9 @@ core_num_nonzero_private___core__clone__Clone_for_core__num__nonzero__private__N
 #define core_iter_range___core__iter__traits__iterator__Iterator_for_core__ops__range__Range_A___6__next \
   Eurydice_range_iter_next
 
+#define core_iter_range___core__iter__traits__iterator__Iterator_for_core__ops__range__Range_A__TraitClause_0___6__next \
+  Eurydice_range_iter_next
+
 // See note in karamel/lib/Inlining.ml if you change this
 #define Eurydice_into_iter(x, t, _ret_t) (x)
 #define core_iter_traits_collect___core__iter__traits__collect__IntoIterator_for_I___into_iter \