Skip to content

Commit

Permalink
Fix ocaml printing: use hex instead of integer
Browse files Browse the repository at this point in the history
  • Loading branch information
volhovm committed Aug 26, 2024
1 parent 2086837 commit 5d7c665
Showing 1 changed file with 4 additions and 1 deletion.
5 changes: 4 additions & 1 deletion kimchi/src/circuits/expr.rs
Original file line number Diff line number Diff line change
Expand Up @@ -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(\"{:#X}\")",
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()),
Expand Down

0 comments on commit 5d7c665

Please sign in to comment.