From 75f6280b2c2f2341fd39a79e57f99809f63452d2 Mon Sep 17 00:00:00 2001 From: YairVaknin-starkware Date: Tue, 5 Nov 2024 18:51:28 +0200 Subject: [PATCH] Add_missing_builtins_to_pie_metadata_serialiazation --- vm/src/vm/runners/cairo_pie.rs | 3 +++ 1 file changed, 3 insertions(+) diff --git a/vm/src/vm/runners/cairo_pie.rs b/vm/src/vm/runners/cairo_pie.rs index d86b1840c8..10f032ddd8 100644 --- 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 {