diff --git a/ivc/src/ivc/interpreter.rs b/ivc/src/ivc/interpreter.rs index f25ee51764..8e8875ed7c 100644 --- a/ivc/src/ivc/interpreter.rs +++ b/ivc/src/ivc/interpreter.rs @@ -666,10 +666,6 @@ pub fn process_ecadds