fix[lib]: apply all auto-constraints

Consensys · Nov 9, 2023 · 88c54c1 · 88c54c1
1 parent 8b0b730
commit 88c54c1
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/src/lib.rs b/src/lib.rs
@@ -12,7 +12,7 @@ use std::{
     ffi::{c_uint, CStr, CString},
     sync::RwLock,
 };
-use transformer::ExpansionLevel;
+use transformer::{AutoConstraint, ExpansionLevel};
 
 use crate::{
     column::{Computation, Value, ValueBacking},
@@ -255,7 +255,11 @@ fn reverse_fr_x86_64(v: &mut [u64; 4]) {
 }
 
 fn make_corset(mut constraints: ConstraintSet) -> Result<Corset> {
-    transformer::expand_to(&mut constraints, ExpansionLevel::all().into(), &[])?;
+    transformer::expand_to(
+        &mut constraints,
+        ExpansionLevel::all().into(),
+        AutoConstraint::all(),
+    )?;
     transformer::concretize(&mut constraints);
     Ok(constraints)
 }