Fix evaluator.

powdr-labs · Jul 10, 2024 · 36d2faf · 36d2faf
1 parent db73e52
commit 36d2faf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pil-analyzer/src/evaluator.rs b/pil-analyzer/src/evaluator.rs
@@ -637,7 +637,7 @@ impl<'a, 'b, T: FieldElement, S: SymbolLookup<'a, T>> Evaluator<'a, 'b, T, S> {
                 }
                 Operation::LetStatement(s) => {
                     let value = match (&s.ty, &s.value.as_ref()) {
-                        (Some(Type::Col) | None, value) => {
+                        (Some(Type::Col), value) | (None, value @ None) => {
                             let Pattern::Variable(_, name) = &s.pattern else {
                                 unreachable!()
                             };