From 30f42a09d4201d1b29ccf50f6061f12ae71a9970 Mon Sep 17 00:00:00 2001
From: Andrew Z <1497456+z-tech@users.noreply.github.com>
Date: Thu, 12 Feb 2026 14:46:19 +0100
Subject: [PATCH] restore deleted files

---
 src/inner_product_sumcheck.rs | 2 +-
 src/lib.rs                    | 2 +-
 src/multilinear_sumcheck.rs   | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/inner_product_sumcheck.rs b/src/inner_product_sumcheck.rs
index a26372d..f14809e 100644
--- a/src/inner_product_sumcheck.rs
+++ b/src/inner_product_sumcheck.rs
@@ -7,7 +7,7 @@
 //!
 //! # Example
 //!
-//! ```ignore
+//! ```text
 //! use efficient_sumcheck::{inner_product_sumcheck, ProductSumcheck};
 //! use efficient_sumcheck::transcript::SanityTranscript;
 //!
diff --git a/src/lib.rs b/src/lib.rs
index cb016f8..5b79059 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -6,7 +6,7 @@
 //!
 //! For most use cases, you need just two functions and a transcript:
 //!
-//! ```ignore
+//! ```text
 //! use efficient_sumcheck::{multilinear_sumcheck, inner_product_sumcheck};
 //! use efficient_sumcheck::transcript::{Transcript, SpongefishTranscript, SanityTranscript};
 //! ```
diff --git a/src/multilinear_sumcheck.rs b/src/multilinear_sumcheck.rs
index 64e7581..5bda6c9 100644
--- a/src/multilinear_sumcheck.rs
+++ b/src/multilinear_sumcheck.rs
@@ -6,7 +6,7 @@
 //!
 //! # Example
 //!
-//! ```ignore
+//! ```text
 //! use efficient_sumcheck::{multilinear_sumcheck, Sumcheck};
 //! use efficient_sumcheck::transcript::SanityTranscript;
 //!