fix

powdr-labs · Jan 16, 2025 · 10e577d · 10e577d
1 parent da212c0
commit 10e577d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/riscv-executor/src/lib.rs b/riscv-executor/src/lib.rs
@@ -909,7 +909,7 @@ mod builder {
         }
 
         pub fn col_is_defined(&self, name: &str) -> bool {
-            if let ExecMode::Trace = self.mode {
+            if let ExecMode::Trace | ExecMode::Witness = self.mode {
                 self.trace.all_cols.contains(&name.to_string())
             } else {
                 false