update: rps rpc index.txt

reach-sh · Nov 16, 2022 · 9480a04 · 9480a04
1 parent 41c9307
commit 9480a04
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/examples/rps-7-rpc/server/index.txt b/examples/rps-7-rpc/server/index.txt
@@ -1,4 +1,3 @@
-Compiling `main`...
 Verifying knowledge assertions
 Verifying for generic connector
   Verifying when ALL participants are honest