Skip to content

Commit 14751be

Browse files
Fix default value of opt_silent
1 parent c721ed1 commit 14751be

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/fiat/drhook/drhook.c

+1-1
Original file line numberDiff line numberDiff line change
@@ -328,7 +328,7 @@ static int opt_nvtx_SCC = nvtx_SCC_default;
328328
#define nvtx_SWT_default 0.0001
329329
static double opt_nvtx_SWT = nvtx_SWT_default;
330330
static int opt_strict_regions = 0;
331-
static int opt_silent = 1;
331+
static int opt_silent = 0;
332332

333333
static int opt_calltrace = 0;
334334
static int opt_funcenter = 0;

0 commit comments

Comments
 (0)