diff --git a/src/plugins/dive/self.ml b/src/plugins/dive/self.ml index c0726125a74350d3cc94e85022251b165d5f2f9e..a93edff327e193c646000824cb87ada6ba30d340 100644 --- a/src/plugins/dive/self.ml +++ b/src/plugins/dive/self.ml @@ -48,7 +48,7 @@ module DepthLimit = Int let option_name = "-dive-depth-limit" let help = "Build dependencies up to a depth of N." let arg_name = "N" - let default = 3 + let default = 2 end) module FromFunctionAlarms = Kernel_function_set