chore: Export snippet to get FriPolynomial from proof stream

TritonVM · Apr 30, 2024 · 60fd949 · 60fd949
1 parent 50cefc6
commit 60fd949
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/tasm-lib/src/exported_snippets.rs b/tasm-lib/src/exported_snippets.rs
@@ -416,6 +416,9 @@ pub fn name_to_snippet(fn_name: &str) -> Box<dyn BasicSnippet> {
         "tasmlib_verifier_vm_proof_iter_dequeue_next_as_fricodeword" => {
             Box::new(DequeueNextAs { proof_item: ProofItemVariant::FriCodeword })
         }
+        "tasmlib_verifier_vm_proof_iter_dequeue_next_as_fripolynomial" => {
+            Box::new(DequeueNextAs { proof_item: ProofItemVariant::FriPolynomial })
+        }
         "tasmlib_verifier_vm_proof_iter_dequeue_next_as_friresponse" => {
             Box::new(DequeueNextAs { proof_item: ProofItemVariant::FriResponse })
         }