===================================================================
RCS file: /home/cvs/OpenXM/src/hgm/oxprint/oxprint.h,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -p -r1.2 -r1.3
--- OpenXM/src/hgm/oxprint/oxprint.h	2015/03/24 06:10:33	1.2
+++ OpenXM/src/hgm/oxprint/oxprint.h	2015/04/01 06:10:34	1.3
@@ -3,3 +3,5 @@
 #define oxflush()  fflush(NULL)
 #define oxabort()  abort()
 #define oxstdout  stdout
+#define oxexit(a) exit(a)
+#define oxexit0(a) exit(a)