--- gpl/axl/src/axl_config_win32.h	2011/06/08 07:09:12	1.1.1.1
+++ gpl/axl/src/axl_config_win32.h	2012/02/17 12:50:03	1.1.1.2
@@ -40,7 +40,7 @@
  *
  * @return A \ref axlPointer reference.
  */
-#define INT_TO_PTR(integer) ((axlPointer)  (integer))
+#define INT_TO_PTR(integer) ((axlPointer) (integer))
 
 /**
  * @brief Allows to convert a pointer reference (\ref axlPointer),
@@ -53,14 +53,24 @@
  *
  * @return A int value.
  */
-#define PTR_TO_INT(ptr) ((int)  (ptr))
+#define PTR_TO_INT(ptr) ((int) (ptr))
 
 /**
  * @brief Allows to get current platform configuration. This is used
  * by Axl library but could be used by applications built on top of
  * Axl to change its configuration based on the platform information.
+ *
+ * Note when this flag is enabled (set to 1), it means we are
+ * compiling in a windows platform (no matter if it is 64 or 32
+ * bits). To check for 64bit see AXL_OS_WIN64.
  */
 #define AXL_OS_WIN32 (1)
+
+/**  
+ * @brief If defined to 1, it means we are compiling in a windows
+ * platform running 64 bit version.
+ */
+#define AXL_OS_WIN64 (0)
 
 /* @} */