blob: 0e4f95dc69f3112f3f1974c2b9914efdd3535e79 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
--- src/ErrorManager.h.orig Sat Nov 2 02:37:03 2002
+++ src/ErrorManager.h Sat Nov 2 02:48:40 2002
@@ -77,7 +77,7 @@
typedef ErrorManager EM;
-class file_error : public runtime_error
+class file_error : public std::runtime_error
{
public:
file_error(const std::string& str);
|