Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

[fix] database: Wrapped stray log statement for debug.

  • Loading branch information...
commit 499b274e4e282a603a8c76976519c59effbc1963 1 parent 666a08e
@nrs135 nrs135 authored Louis Gesbert committed
Showing with 1 addition and 1 deletion.
  1. +1 −1  database/badop_meta.ml
View
2  database/badop_meta.ml
@@ -164,7 +164,7 @@ let options_parser_with_default ?name (_default_m, default_o) =
| p -> (match name with None -> p | Some n -> Filename.concat p n)
in
let lpath = path^"_light" in
- Logger.log ~color:`red "path: %s" path;
+ #<If:BADOP_DEBUG$minlevel 10>Logger.log ~color:`red "path: %s" path#<End>;
(module Badop_light : Badop.S),
Badop.Options_Light { Badop. lpath }),
"[<path>][:<flags>]",
Please sign in to comment.
Something went wrong with that request. Please try again.