diff options
Diffstat (limited to 'archivers/rvm/files/patch-reporter.cc')
| -rw-r--r-- | archivers/rvm/files/patch-reporter.cc | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/archivers/rvm/files/patch-reporter.cc b/archivers/rvm/files/patch-reporter.cc new file mode 100644 index 000000000000..129bf7fd6529 --- /dev/null +++ b/archivers/rvm/files/patch-reporter.cc @@ -0,0 +1,10 @@ +--- reporter.cc.orig Thu Mar 25 00:28:09 2004 ++++ reporter.cc Sat Apr 3 21:26:51 2004 +@@ -4,6 +4,7 @@ + #include <string> + #include <vector> + #include <algorithm> ++#include <cassert> + + #include "debug.h" + #include "error.h" |