diff options
Diffstat (limited to 'nixpkgs/pkgs/applications/science/logic/stp/stdint.patch')
-rw-r--r-- | nixpkgs/pkgs/applications/science/logic/stp/stdint.patch | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/nixpkgs/pkgs/applications/science/logic/stp/stdint.patch b/nixpkgs/pkgs/applications/science/logic/stp/stdint.patch new file mode 100644 index 000000000000..6595d5561731 --- /dev/null +++ b/nixpkgs/pkgs/applications/science/logic/stp/stdint.patch @@ -0,0 +1,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 |