Refinement to e30560d793ff5bc704dadc2eab9d31100ad4636b: don't
[mmh] / sbr / getans.c
index 9c10fd3..3ef01ed 100644 (file)
@@ -9,7 +9,7 @@
 
 #include <h/mh.h>
 #include <h/signals.h>
-#include <h/m_setjmp.h>
+#include <setjmp.h>
 #include <signal.h>
 #include <errno.h>