diff --git a/src/main/kotlin/b/language/server/Util.kt b/src/main/kotlin/b/language/server/Util.kt
index d1d0d31b76ce89079e892db531bb2af48ba965b4..d6798327e62bf97e58832cca9878201aec41e2c3 100644
--- a/src/main/kotlin/b/language/server/Util.kt
+++ b/src/main/kotlin/b/language/server/Util.kt
@@ -13,7 +13,7 @@ import java.io.File
  * @return the settings object
  */
 fun castJsonToSetting(json : JsonObject) : Settings {
-    return Settings(Gson().fromJson(json.get("maxNumberOfProblems"), Int::class.java),
+    return Settings(
             Gson().fromJson(json.get("wdChecks"), Boolean::class.java),
             Gson().fromJson(json.get("strictChecks"), Boolean::class.java),
             Gson().fromJson(json.get("performanceHints"), Boolean::class.java),
diff --git a/src/main/kotlin/b/language/server/dataStorage/Settings.kt b/src/main/kotlin/b/language/server/dataStorage/Settings.kt
index 0cc9534412823959507dd82add8b6a6137d66d34..16e6730db74edd2ce3a6dbc40e27675f580e80b5 100644
--- a/src/main/kotlin/b/language/server/dataStorage/Settings.kt
+++ b/src/main/kotlin/b/language/server/dataStorage/Settings.kt
@@ -2,6 +2,6 @@ package b.language.server.dataStorage
 
 import java.io.File
 
-data class Settings(val maxNumberOfProblem : Int = 1000, val strictChecks : Boolean = true,  val wdChecks : Boolean = true,
+data class Settings(val strictChecks : Boolean = true,  val wdChecks : Boolean = true,
                     val performanceHints : Boolean = true , val probHome : File = File("~/prob_prolog/probcli.sh"),
                     val debugMode : Boolean = true)