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