From cae4f3ed3ed3a9e4daefa8ce62d5180074d2955e Mon Sep 17 00:00:00 2001 From: Didrik Lundberg Date: Mon, 2 Dec 2024 11:39:48 +0100 Subject: [PATCH] Fixing rebase typo --- src/tools/lifter/selftestLib.sml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/tools/lifter/selftestLib.sml b/src/tools/lifter/selftestLib.sml index e4893a0a0..37100fa21 100644 --- a/src/tools/lifter/selftestLib.sml +++ b/src/tools/lifter/selftestLib.sml @@ -146,7 +146,7 @@ end; fun final_results name expected_failed_hexcodes = let val _ = print_log true "\n\n\n"; - val _ = print_log_with_style selftestLib.sty_HEADER true ("SUMMARY FAILING HEXCODES " ^ name); + val _ = print_log_with_style sty_HEADER true ("SUMMARY FAILING HEXCODES " ^ name); val _ = print_log true "\n\n\n"; val failing_l = op_mk_set (fn (x, _, _) => fn (y, _, _) => (x = y)) (!failed_hexcodes_list) val ok_l = op_mk_set (fn (x, _, _) => fn (y, _, _) => (x = y)) (!success_hexcodes_list) @@ -174,7 +174,7 @@ end; | print_failed' ((hex_code, desc, ed_opt, broken)::l) = let (* print the ones that failed, but were not excepted to in red *) - val st = if broken then selftestLib.sty_FAIL else []; + val st = if broken then sty_FAIL else []; val _ = print_log true " "; val _ = print_log_with_style st true ("\""^hex_code^"\"");