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