From 45b407b09c5f98bbca4e256b2f32257fcb744759 Mon Sep 17 00:00:00 2001
From: ada <a@a.a>
Date: Thu, 11 Feb 2021 21:53:17 +0100
Subject: [PATCH] inverse proof for new-cs

---
 lisp/run.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/lisp/run.sh b/lisp/run.sh
index d0d4eb610..9d9b6f16d 100755
--- a/lisp/run.sh
+++ b/lisp/run.sh
@@ -1,3 +1,3 @@
 export RUST_BACKTRACE=full
-cargo run --bin lisp load jubjub-add.lisp
-#cargo run --bin lisp load inverse.lisp
+#cargo run --bin lisp load jubjub-add.lisp
+cargo run --bin lisp load inverse.lisp