Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision c9d651d543e124ce5ec21ec0f7adf950c5783d6a)
+++ Jenkinsfile	(revision c77aa5a670e221efc9cf2cdec3d4dcdfa0d46105)
@@ -22,5 +22,4 @@
   sh 'CC=gcc-4.9 CXX=g++-4.9 ./configure'
   sh 'make -j 8'
-  def email_body =
   emailext body: email_body, subject: email_subject, to: 'tdelisle@uwaterloo.ca'
  }