about summary refs log tree commit diff
path: root/pkgs/applications/science/logic/stp/stdint.patch
blob: 6595d55617315ef1b17c56a9aeef86d3c77fabf1 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
diff --git a/include/stp/AST/ASTNode.h b/include/stp/AST/ASTNode.h
index 91acd726182c..0a17db23ffbf 100644
--- a/include/stp/AST/ASTNode.h
+++ b/include/stp/AST/ASTNode.h
@@ -24,9 +24,10 @@ THE SOFTWARE.
 #ifndef ASTNODE_H
 #define ASTNODE_H
 
+#include "stp/AST/ASTInternal.h"
 #include "stp/AST/NodeFactory/HashingNodeFactory.h"
+#include "stp/AST/UsefulDefs.h"
 #include "stp/Util/Attributes.h"
-#include "ASTInternal.h"
 #include "stp/Globals/Globals.h"
 
 namespace stp