Fix default value of opt_silent

Andrew-Beggs-ECMWF · Sep 24, 2024 · 14751be · 14751be
1 parent c721ed1
commit 14751be
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/fiat/drhook/drhook.c b/src/fiat/drhook/drhook.c
@@ -328,7 +328,7 @@ static int opt_nvtx_SCC = nvtx_SCC_default;
 #define nvtx_SWT_default 0.0001
 static double opt_nvtx_SWT = nvtx_SWT_default;
 static int opt_strict_regions = 0;
-static int opt_silent = 1;
+static int opt_silent = 0;
 
 static int opt_calltrace = 0;
 static int opt_funcenter = 0;