Fix ocaml printing: use hex instead of integer

o1-labs · Sep 11, 2024 · 6866340 · 6866340
1 parent 2c77135
commit 6866340
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/kimchi/src/circuits/expr.rs b/kimchi/src/circuits/expr.rs
@@ -2428,7 +2428,10 @@ where
             JointCombiner => "joint_combiner".to_string(),
             EndoCoefficient => "endo_coefficient".to_string(),
             Mds { row, col } => format!("mds({row}, {col})"),
-            Literal(x) => format!("field(\"0x{}\")", x.into_bigint()),
+            Literal(x) => format!(
+                "field(\"{:#066X}\")",
+                Into::<num_bigint::BigUint>::into(x.into_bigint())
+            ),
             Pow(x, n) => match x.as_ref() {
                 Alpha => format!("alpha_pow({n})"),
                 x => format!("pow({}, {n})", x.ocaml()),