From 0276c756bb3f58cfc667daa9d31efe66ab96af0e Mon Sep 17 00:00:00 2001
From: querolita <anais.querol@gmail.com>
Date: Mon, 30 Oct 2023 20:37:10 +0100
Subject: [PATCH] adapt order of generics in witness layout

---
 kimchi/src/circuits/polynomials/keccak/witness.rs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/kimchi/src/circuits/polynomials/keccak/witness.rs b/kimchi/src/circuits/polynomials/keccak/witness.rs
index d6aa7971e2..bd0df8463c 100644
--- a/kimchi/src/circuits/polynomials/keccak/witness.rs
+++ b/kimchi/src/circuits/polynomials/keccak/witness.rs
@@ -5,9 +5,9 @@ use ark_ff::PrimeField;
 
 use super::KECCAK_COLS;
 
-type _Layout<const W: usize, F> = Vec<Box<dyn WitnessCell<W, F, Vec<F>>>>;
+type _Layout<F, const COLUMNS: usize> = Vec<Box<dyn WitnessCell<F, Vec<F>, COLUMNS>>>;
 
-fn _layout_round<F: PrimeField>() -> _Layout<KECCAK_COLS, F> {
+fn _layout_round<F: PrimeField>() -> _Layout<F, KECCAK_COLS> {
     vec![
         IndexCell::create("state_a", 0, 100),
         IndexCell::create("state_c", 100, 120),
@@ -34,7 +34,7 @@ fn _layout_round<F: PrimeField>() -> _Layout<KECCAK_COLS, F> {
     ]
 }
 
-fn _layout_sponge<F: PrimeField>() -> _Layout<KECCAK_COLS, F> {
+fn _layout_sponge<F: PrimeField>() -> _Layout<F, KECCAK_COLS> {
     vec![
         IndexCell::create("old_state", 0, 100),
         IndexCell::create("new_state", 100, 200),