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