webengine/widgetregistry/Server/inc/UidAllocator.h
changeset 36 0ed94ceaa377
parent 0 dd21522fd290
child 37 cb62a4f66ebe
--- a/webengine/widgetregistry/Server/inc/UidAllocator.h	Tue Nov 24 09:02:20 2009 +0200
+++ b/webengine/widgetregistry/Server/inc/UidAllocator.h	Thu Dec 17 09:20:16 2009 +0200
@@ -20,7 +20,7 @@
 #define UIDALLOCATOR_H
 
 // INCLUDE FILES
-#include "WidgetRegistryConstants.h"
+#include "widgetregistryconstants.h"
 
 /**
  * This class allows clients to allocate a UID from a given range.