dd_export.cc: fix compilation issue on cygwin (PRIuPTR)

Move cinttypes include before the cudd includes to get proper PRIuPTR definition git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@12164 bbc10eb1-c90d-0410-af57-cb519fbb1720
9 years ago · 28b0376dfb
1 changed files with 1 additions and 1 deletions
--- a/prism/src/dd/dd_export.cc
+++ b/prism/src/dd/dd_export.cc
@ -29,9 +29,9 @@
 #include <stdio.h>
 #include <stdlib.h>
 #include <cmath>
+#include <cinttypes>
 #include <util.h>
 #include <cudd.h>
-#include <cinttypes>
 #include "dd.h"
 #include "dd_basics.h"
 #include "dd_abstr.h"