Reimplement symbol().

argumentcomputer · Jan 12, 2024 · c17bcc9 · c17bcc9
1 parent 1d40c7b
commit c17bcc9
Showing 1 changed file with 3 additions and 1 deletion.
diff --git 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"]),
+        }
     }
 }