From e8a36d383dc745119e30cc481c63860a42d43052 Mon Sep 17 00:00:00 2001
From: Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de>
Date: Thu, 10 Apr 2014 01:17:59 +0200
Subject: INT32_MAX not defined

---
 src/uscxml/transform/ChartToFSM.cpp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/uscxml/transform/ChartToFSM.cpp b/src/uscxml/transform/ChartToFSM.cpp
index faf2873..d0ba5eb 100644
--- a/src/uscxml/transform/ChartToFSM.cpp
+++ b/src/uscxml/transform/ChartToFSM.cpp
@@ -17,6 +17,9 @@
  *  @endcond
  */
 
+#define __STDC_LIMIT_MACROS
+#include <stdint.h>
+
 #include "uscxml/transform/ChartToFSM.h"
 #include <DOM/io/Stream.hpp>
 #include <iostream>
-- 
cgit v0.12