From 48f5c9347fffffb1786128f3daf206251bf62d45 Mon Sep 17 00:00:00 2001
From: Daniel Lubarov <daniel@lubarov.com>
Date: Tue, 20 Jul 2021 13:04:34 -0700
Subject: [PATCH] route -> assert (#112)

Doesn't really matter except that failure messages might be different if the copy-generator runs first.
---
 src/recursive_verifier.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/recursive_verifier.rs b/src/recursive_verifier.rs
index ea2bdd71..3dd135af 100644
--- a/src/recursive_verifier.rs
+++ b/src/recursive_verifier.rs
@@ -89,7 +89,7 @@ impl<F: Extendable<D>, const D: usize> CircuitBuilder<F, D> {
             {
                 let recombined_quotient = scale.reduce(chunk, self);
                 let computed_vanishing_poly = self.mul_extension(z_h_zeta, recombined_quotient);
-                self.named_route_extension(
+                self.named_assert_equal_extension(
                     vanishing_polys_zeta[i],
                     computed_vanishing_poly,
                     format!("Vanishing polynomial == Z_H * quotient, challenge {}", i),