From c8c2a17e282c2cbf3c0edb1b756e16be58328331 Mon Sep 17 00:00:00 2001
From: John Wiegley <johnw@newartisans.com>
Date: Sat, 3 Mar 2012 01:17:21 -0600
Subject: Fixed invocation of lambda expressions

  foo = x, y, z -> print(x, y, z)
  foo(1, 2, 3)

However, this still does not work:

  (x, y, z -> print(x, y, z))(1, 2, 3)
---
 tools/proof | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'tools/proof')

diff --git a/tools/proof b/tools/proof
index f37c1488..3b997143 100755
--- a/tools/proof
+++ b/tools/proof
@@ -15,12 +15,12 @@ ledger_proof() {
         exit 0
     fi
 
-    rm -fr $DEST/ledger-proof
+    sudo rm -fr $DEST/ledger-proof
     time nice -n 20 \
         ./acprep --debug --enable-doxygen --universal --clang -j16 proof 2>&1 | \
         tee $LOGDIR/ledger-proof.log
 
-    rm -fr $DEST/ledger-proof
+    sudo rm -fr $DEST/ledger-proof
     time nice -n 20 \
         ./acprep --debug --enable-doxygen --universal --python --clang -j16 proof 2>&1 | \
         tee -a $LOGDIR/ledger-proof.log
-- 
cgit v1.2.3