diff --git a/math/spot/files/patch-spot_misc_tmpfile.cc b/math/spot/files/patch-spot_misc_tmpfile.cc new file mode 100644 index 000000000000..f3705f682eeb --- /dev/null +++ b/math/spot/files/patch-spot_misc_tmpfile.cc @@ -0,0 +1,10 @@ +--- spot/misc/tmpfile.cc.orig 2018-10-04 12:40:02 UTC ++++ spot/misc/tmpfile.cc +@@ -23,6 +23,7 @@ + #include + #include + #include ++#include + + namespace spot + {