From 6036ab9533e1754f1612fbea9c9d2a27063ca5f8 Mon Sep 17 00:00:00 2001
From: Herman Obst Demaestri <hodemaestri@gmail.com>
Date: Mon, 28 Oct 2024 18:35:43 -0300
Subject: [PATCH] add OS v0.13.2 builtins to serialize_builtin_segments
 function

---
 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 {