Header duplicate removed from user_property.h

diff --git a/projects/stargazer/user_property.h b/projects/stargazer/user_property.h
index cb7718c4ac454b2bf0e0e2aeb49f8c55023269d8..feadf54c61321ec6bd45cd50dcaca4f941d7ec02 100644 (file)
--- a/projects/stargazer/user_property.h
+++ b/projects/stargazer/user_property.h
@@ -14,7 +14,6 @@ $Author: faust $
 #include <iostream>
 
 #include "store.h"
-#include "stg_logger.h"
 #include "admin.h"
 #include "notifer.h"
 #include "stg_logger.h"