diff options
-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 8c637fa20861..eb6e88cf2154 100644 --- a/registry/tools/checksingleton.cxx +++ b/registry/tools/checksingleton.cxx @@ -4,9 +4,9 @@ * * $RCSfile: checksingleton.cxx,v $ * - * $Revision: 1.11 $ + * $Revision: 1.12 $ * - * last change: $Author: vg $ $Date: 2007-10-15 12:28:30 $ + * last change: $Author: ihi $ $Date: 2008-02-04 13:59:25 $ * * The Contents of this file are made available subject to * the terms of GNU Lesser General Public License Version 2.1. @@ -36,6 +36,7 @@ // MARKER(update_precomp.py): autogen include statement, do not remove #include "precompiled_registry.hxx" #include <stdio.h> +#include <string.h> #include <set> |