From f8283d78551ca4574c2cb6ca4147b1e2ac2a064f Mon Sep 17 00:00:00 2001
From: s444417 <mikolaj12341230@gmail.com>
Date: Thu, 24 Mar 2022 18:52:10 +0100
Subject: [PATCH] fix 9

---
 Jenkinsfile | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index ff0f774..0b6463e 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,7 +1,7 @@
 pipeline {
     agent any
-    options {
-        parameters {
+    options([
+        parameters[(
             string(
                 defaultValue: 'mikolaj2',
                 description: 'Kaggle username',
@@ -18,8 +18,8 @@ pipeline {
                 description: 'Value for head command',
                 name: 'CUTOFF'
             )
-        }
-    }
+        )]
+    ])
     environment {
         KAGGLE_USERNAME="$params.KAGGLE_USERNAME"
         KAGGLE_KEY="$params.KAGGLE_KEY"