From cd485f03dd7118a9990013779febb8432f39bf66 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Thu, 20 Jun 2013 17:02:15 -0700 Subject: [PATCH] Add trace msg Signed-off-by: Leonardo de Moura --- src/api/z3_replayer.cpp | 1 + 1 file changed, 1 insertion(+) diff --git a/src/api/z3_replayer.cpp b/src/api/z3_replayer.cpp index 079516145..acdb10bf6 100644 --- a/src/api/z3_replayer.cpp +++ b/src/api/z3_replayer.cpp @@ -26,6 +26,7 @@ Notes: void register_z3_replayer_cmds(z3_replayer & in); void throw_invalid_reference() { + TRACE("z3_replayer", tout << "invalid argument reference\n";); throw z3_replayer_exception("invalid argument reference"); }