klab-prove-all: no whitespace after fn name

For better greppability.
dapphub · Feb 21, 2020 · 232a9ba · 232a9ba
1 parent c588e44
commit 232a9ba
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/libexec/klab-prove-all b/libexec/klab-prove-all
@@ -53,7 +53,7 @@ if [ -d ".git" ]; then
   jq -r '.src.smt_prelude' < config.json | xargs -I {} cp {} "$KLAB_REPORT_PROJECT_DIR"
 fi;
 
-report () {
+report() {
   set -e
   exec 3>"$KLAB_REPORT_NAME_DIR"/report.json.lock
   flock -x 3 || exit 0
@@ -76,7 +76,7 @@ savelogs() {
 export -f savelogs
 
 # perform a single proof and exit
-do_proof () {
+do_proof() {
   set -e
 
   name=$1