Index: /libmpc/branches/r2d/include/common/mpc_types.h
===================================================================
--- /libmpc/branches/r2d/include/common/mpc_types.h	(revision 135)
+++ /libmpc/branches/r2d/include/common/mpc_types.h	(revision 136)
@@ -69,4 +69,9 @@
 #endif
 
+typedef int mpc_int_t;
+typedef unsigned int mpc_uint_t;
+// FIXME : must be the same size as a pointer
+typedef unsigned int mpc_size_t;
+
 /// Libmpcdec error codes
 typedef enum mpc_status {