diff options
Diffstat (limited to 'archivers/rvm/files/patch-vaulter.cc')
| -rw-r--r-- | archivers/rvm/files/patch-vaulter.cc | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/archivers/rvm/files/patch-vaulter.cc b/archivers/rvm/files/patch-vaulter.cc new file mode 100644 index 000000000000..479fe9942810 --- /dev/null +++ b/archivers/rvm/files/patch-vaulter.cc @@ -0,0 +1,10 @@ +--- vaulter.cc.orig 2014-11-12 13:09:24 UTC ++++ vaulter.cc +@@ -4,6 +4,7 @@ + #include <vector> + #include <map> + #include <string> ++#include <cassert> + + #include "asserts.h" + #include "error.h" |