diff options
| -rw-r--r-- | registry/tools/checksingleton.cxx | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/registry/tools/checksingleton.cxx b/registry/tools/checksingleton.cxx index fbde20682d6a..0b905d4e7ff2 100644 --- a/registry/tools/checksingleton.cxx +++ b/registry/tools/checksingleton.cxx @@ -4,9 +4,9 @@ * * $RCSfile: checksingleton.cxx,v $ * - * $Revision: 1.8 $ + * $Revision: 1.9 $ * - * last change: $Author: hr $ $Date: 2006-06-19 14:28:58 $ + * last change: $Author: obo $ $Date: 2006-09-17 01:54:43 $ * * The Contents of this file are made available subject to * the terms of GNU Lesser General Public License Version 2.1. @@ -32,6 +32,9 @@ * MA 02111-1307 USA * ************************************************************************/ + +// MARKER(update_precomp.py): autogen include statement, do not remove +#include "precompiled_registry.hxx" #include <stdio.h> #include <set> |