diff options
Diffstat (limited to 'registry/tools/checksingleton.cxx')
| -rw-r--r-- | registry/tools/checksingleton.cxx | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/registry/tools/checksingleton.cxx b/registry/tools/checksingleton.cxx index 14f41a47ee98..33ba8822e509 100644 --- a/registry/tools/checksingleton.cxx +++ b/registry/tools/checksingleton.cxx @@ -2,9 +2,9 @@ * * $RCSfile: checksingleton.cxx,v $ * - * $Revision: 1.4 $ + * $Revision: 1.5 $ * - * last change: $Author: jsc $ $Date: 2001-09-26 14:12:30 $ + * last change: $Author: hr $ $Date: 2002-02-21 11:03:37 $ * * The Contents of this file are made available subject to the terms of * either of the following licenses @@ -59,6 +59,7 @@ * ************************************************************************/ #include <stdio.h> +#include <string.h> #include <set> |