From: Morgan Deters <mdeters@gmail.com>
Date: Sun, 31 Oct 2010 23:57:50 +0000 (+0000)
Subject: small fix to debug segfaults
X-Git-Tag: cvc5-1.0.0~8753
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e4c89b3d2d1f036ec6aff07575a074ea30a30747;p=cvc5.git

small fix to debug segfaults
---

diff --git a/src/main/util.cpp b/src/main/util.cpp
index c59e398f5..eb360818b 100644
--- a/src/main/util.cpp
+++ b/src/main/util.cpp
@@ -91,7 +91,7 @@ void segv_handler(int sig, siginfo_t* info, void* c) {
     abort();
   } else {
     fprintf(stderr, "Spinning so that a debugger can be connected.\n");
-    fprintf(stderr, "Try:  gdb %s %u\n", progName, getpid());
+    cerr << "Try:  gdb " << progName << " " << getpid() << endl;
     for(;;) {
       sleep(60);
     }