add OS v0.13.2 builtins to serialize_builtin_segments function

Moonsong-Labs · Oct 28, 2024 · 6036ab9 · 6036ab9
1 parent 01ea1e0
commit 6036ab9
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/vm/src/vm/runners/cairo_pie.rs b/vm/src/vm/runners/cairo_pie.rs
@@ -759,6 +759,9 @@ pub(super) mod serde_impl {
             BuiltinName::ec_op,
             BuiltinName::keccak,
             BuiltinName::poseidon,
+            BuiltinName::range_check96,
+            BuiltinName::add_mod,
+            BuiltinName::mul_mod,
         ];
 
         for name in BUILTIN_ORDERED_LIST {