X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satcheck.git;a=blobdiff_plain;f=stacktrace.h;h=f7c451c8cfcde9fcfb2351f55fc6076a9362cef5;hp=7a3ac505764db65bdc9760a7aff4d89da0e3284a;hb=fdc038715881f395ddbac1625160236f8db2c1d7;hpb=4f614d5fb6b6e8060910f3d5db1e6d5e8611cffa;ds=sidebyside

diff --git a/stacktrace.h b/stacktrace.h
index 7a3ac50..f7c451c 100644
--- a/stacktrace.h
+++ b/stacktrace.h
@@ -15,7 +15,7 @@
  */
 static inline void print_stacktrace(int fd = STDERR_FILENO, unsigned int max_frames = 63)
 {
-	dprintf(fd, "stack trace:\n");
+	model_dprintf(fd, "stack trace:\n");
 
 	// storage array for stack trace address data
 	void* addrlist[max_frames+1];
@@ -24,7 +24,7 @@ static inline void print_stacktrace(int fd = STDERR_FILENO, unsigned int max_fra
 	int addrlen = backtrace(addrlist, sizeof(addrlist) / sizeof(void*));
 
 	if (addrlen == 0) {
-		dprintf(fd, "  <empty, possibly corrupt>\n");
+		model_dprintf(fd, "  <empty, possibly corrupt>\n");
 		return;
 	}
 
@@ -68,17 +68,17 @@ static inline void print_stacktrace(int fd = STDERR_FILENO, unsigned int max_fra
 																			funcname, &funcnamesize, &status);
 			if (status == 0) {
 				funcname = ret; // use possibly realloc()-ed string
-				dprintf(fd, "  %s : %s+%s\n",
+				model_dprintf(fd, "  %s : %s+%s\n",
 								symbollist[i], funcname, begin_offset);
 			} else {
 				// demangling failed. Output function name as a C function with
 				// no arguments.
-				dprintf(fd, "  %s : %s()+%s\n",
+				model_dprintf(fd, "  %s : %s()+%s\n",
 								symbollist[i], begin_name, begin_offset);
 			}
 		} else {
 			// couldn't parse the line? print the whole line.
-			dprintf(fd, "  %s\n", symbollist[i]);
+			model_dprintf(fd, "  %s\n", symbollist[i]);
 		}
 	}