diff --git a/src/utils/copyfile.cpp b/src/utils/copyfile.cpp index e34f9bf9..489996d3 100644 --- a/src/utils/copyfile.cpp +++ b/src/utils/copyfile.cpp @@ -1,10 +1,11 @@ #ifndef lint -static char rcsid[] = "@(#$Id: copyfile.cpp,v 1.1 2005-12-05 14:09:16 dockes Exp $ (C) 2005 J.F.Dockes"; +static char rcsid[] = "@(#$Id: copyfile.cpp,v 1.2 2005-12-05 16:13:34 dockes Exp $ (C) 2005 J.F.Dockes"; #endif #include #include #include +#include #include using std::string;