From 33f15110394c9fc2f83dc9c828f0c5626ca38329 Mon Sep 17 00:00:00 2001
From: wmayer <wmayer@users.sourceforge.net>
Date: Thu, 5 Dec 2019 12:23:51 +0100
Subject: [PATCH] fix -Wformat-pedantic

---
 src/Base/Observer.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/Base/Observer.h b/src/Base/Observer.h
index dfd1227d77..b280ad67b9 100644
--- a/src/Base/Observer.h
+++ b/src/Base/Observer.h
@@ -140,7 +140,7 @@ public:
     //printf("Attach observer %p\n", ToObserv);
     _ObserverSet.insert(ToObserv);
     if ( _ObserverSet.size() == count )
-      printf("Observer %p already attached\n", ToObserv);
+      printf("Observer %p already attached\n", static_cast<void*>(ToObserv));
 #else
     _ObserverSet.insert(ToObserv);
 #endif
@@ -159,7 +159,7 @@ public:
     //printf("Detach observer %p\n", ToObserv);
     _ObserverSet.erase(ToObserv);
     if ( _ObserverSet.size() == count )
-      printf("Observer %p already detached\n", ToObserv);
+      printf("Observer %p already detached\n", static_cast<void*>(ToObserv));
 #else
     _ObserverSet.erase(ToObserv);
 #endif