Commit 9c14d8e5 authored by Ramon Nou's avatar Ramon Nou
Browse files

fix logging

parent e6b794d6

include/client/logging.hpp

+4 −4
Original line number Diff line number Diff line
@@ -65,9 +65,9 @@ enum class log_level : unsigned int { 
    print_critical = 1 << 3,

    print_errors = 1 << 4,

    print_warnings = 1 << 5,

    print_mercury = 1 << 7,

    print_debug = 1 << 8,

    print_trace_reads = 1 << 9,

    print_mercury = 1 << 6,

    print_debug = 1 << 7,

    print_trace_reads = 1 << 8,



    // for internal use

    print_none = 0,
@@ -75,7 +75,7 @@ enum class log_level : unsigned int { 
                print_critical | print_errors | print_warnings | print_mercury |

                print_debug,

    print_most = print_all & ~print_syscalls_entry,

    print_help = 1 << 10

    print_help = 1 << 9

};



inline constexpr log_level