diff options
Diffstat (limited to 'archivers/rvm/files/patch-estring.cc')
| -rw-r--r-- | archivers/rvm/files/patch-estring.cc | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/archivers/rvm/files/patch-estring.cc b/archivers/rvm/files/patch-estring.cc new file mode 100644 index 000000000000..b65a3ac1923f --- /dev/null +++ b/archivers/rvm/files/patch-estring.cc @@ -0,0 +1,10 @@ +--- estring.cc.orig Thu Mar 25 00:36:48 2004 ++++ estring.cc Sat Apr 3 21:20:18 2004 +@@ -4,6 +4,7 @@ + #include <string> + #include <cstdio> + #include <cctype> ++#include <cassert> + + #include "debug.h" + #include "types.h" |