From c17bcc947369dca8b200063de608e727077a7e77 Mon Sep 17 00:00:00 2001
From: porcuquine <porcuquine@users.noreply.github.com>
Date: Thu, 11 Jan 2024 20:55:05 -0800
Subject: [PATCH] Reimplement symbol().

---
 src/coprocessor/memoset/demo.rs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/coprocessor/memoset/demo.rs b/src/coprocessor/memoset/demo.rs
index 3b76aad52f..53f04fe84a 100644
--- a/src/coprocessor/memoset/demo.rs
+++ b/src/coprocessor/memoset/demo.rs
@@ -222,7 +222,9 @@ impl<F: LurkField> CircuitQuery<F> for DemoCircuitQuery<F> {
     }
 
     fn symbol(&self) -> Symbol {
-        todo!()
+        match self {
+            Self::Factorial(_) => Symbol::sym(&["lurk", "user", "factorial"]),
+        }
     }
 }