From 89701c82bda8d44e8852ee9ca74a78e532d25e58 Mon Sep 17 00:00:00 2001
From: Daniel Lubarov <daniel@lubarov.com>
Date: Thu, 6 May 2021 08:32:49 -0700
Subject: [PATCH] Observe root of tree containing quotient poly data

I forgot to observe this earlier.
---
 src/prover.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/prover.rs b/src/prover.rs
index 4801b79d..cead7a6a 100644
--- a/src/prover.rs
+++ b/src/prover.rs
@@ -127,6 +127,7 @@ pub(crate) fn prove<F: Field>(
     }
     let quotient_polys_tree =
         MerkleTree::new(transpose_poly_values(all_quotient_poly_chunk_ldes), true);
+    challenger.observe_hash(&quotient_polys_tree.root);
     info!(
         "{:.3}s to compute quotient polys and their LDEs",
         quotient_polys_start.elapsed().as_secs_f32()