diff options
Diffstat (limited to 'src/porting.cpp')
-rw-r--r-- | src/porting.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/porting.cpp b/src/porting.cpp index 97b028236..e8b135255 100644 --- a/src/porting.cpp +++ b/src/porting.cpp @@ -51,7 +51,7 @@ void sigint_handler(int sig) dstream<<DTIME<<"INFO: sigint_handler(): " <<"Ctrl-C pressed, shutting down."<<std::endl; - dstream<<DTIME<<"INFO: siging_handler(): " + dstream<<DTIME<<"INFO: sigint_handler(): " <<"Printing debug stacks"<<std::endl; debug_stacks_print(); |