diff --git a/Jenkinsfile b/Jenkinsfile
index 3dc101e..ff0f774 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,6 +1,6 @@
 pipeline {
     agent any
-    properties {
+    options {
         parameters {
             string(
                 defaultValue: 'mikolaj2',