Add missing TyKind::String to assert_eq_values()

zksecurity · Jan 13, 2025 · 116839a · 116839a
1 parent b2d6afc
commit 116839a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/stdlib/builtins.rs b/src/stdlib/builtins.rs
@@ -60,7 +60,7 @@ fn assert_eq_values<B: Backend>(
 
     match typ {
         // Field and Bool has the same logic
-        TyKind::Field { .. } | TyKind::Bool => {
+        TyKind::Field { .. } | TyKind::Bool | TyKind::String(..) => {
             let lhs_var = &lhs_info.var[0];
             let rhs_var = &rhs_info.var[0];
             match (lhs_var, rhs_var) {