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"