model: spacing

[c11tester.git] / common.cc

diff --git a/common.cc b/common.cc
index c190ed37487e44ff37d9145017dad1bd654085d0..e6c6cce60ccd2e2b73bc22d5ae48129a37c307b1 100644 (file)
--- a/common.cc
+++ b/common.cc
@@ -22,7 +22,7 @@ FILE *model_out = stdout;
 void print_trace(void)
 {
 #ifdef CONFIG_STACKTRACE
-       print_stacktrace(stdout);
+       print_stacktrace(model_out);
 #else
        void *array[MAX_TRACE_LEN];
        char **strings;