change default lintopts

ZacLN · ZacLN · commit f21025b6c19b · 2019-12-03T16:28:53.000Z
diff --git a/src/linting/checks.jl b/src/linting/checks.jl
@@ -371,7 +371,7 @@ mutable struct LintOptions
     lazy::Bool
     datadecl::Bool
 end
-LintOptions() = LintOptions(true, true, true, true, true, true)
+LintOptions() = LintOptions(true, true, true, true, true, false)
 
 function check_all(x::EXPR, opts::LintOptions, server)
     # Do checks
