From e77b27257937c559c223c9bbd1c9b51f006335db Mon Sep 17 00:00:00 2001 From: nojhan Date: Thu, 1 Dec 2011 10:20:17 +0100 Subject: [PATCH] bad doc string for eoSIGContinue --- eo/src/eoSIGContinue.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/eo/src/eoSIGContinue.h b/eo/src/eoSIGContinue.h index d7db55d3..2199b49e 100644 --- a/eo/src/eoSIGContinue.h +++ b/eo/src/eoSIGContinue.h @@ -48,7 +48,7 @@ void set_bool(int) } /** - Ctrl C handling: this eoContinue tells whether the user pressed Ctrl C + A continuator that stops if a given signal is received during the execution */ template< class EOT> class eoSIGContinue: public eoContinue