diff --git a/Jenkinsfile b/Jenkinsfile
index 1e65bf5fc..7d93f6a80 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -70,3 +70,4 @@ pipeline {
         }
     }
 }    
+}