From 28b0376dfb9ebaf9856c9c38ebeaa72f504b2b66 Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Sun, 23 Jul 2017 10:22:48 +0000
Subject: [PATCH] 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
---
 prism/src/dd/dd_export.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prism/src/dd/dd_export.cc b/prism/src/dd/dd_export.cc
index d8f2ee92..3980bd7a 100644
--- 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"