X-Git-Url: https://git.verplant.org/?a=blobdiff_plain;f=src%2Fscripting%2Fplatform.hpp;h=9ffafbf205b23e4c9acf06386fc271219c26ea65;hb=2b017a68959d768ee917128bbdaa42439911ef43;hp=aeb6257fd7188ababed18143c20a19c4de15af1d;hpb=08813a74da6ac1fd045a105e4e8105f1d7f716f0;p=supertux.git

diff --git a/src/scripting/platform.hpp b/src/scripting/platform.hpp
index aeb6257fd..9ffafbf20 100644
--- a/src/scripting/platform.hpp
+++ b/src/scripting/platform.hpp
@@ -22,7 +22,7 @@ class Platform;
 typedef Platform _Platform;
 #endif
 
-namespace Scripting {
+namespace scripting {
 
 class Platform
 {
@@ -43,6 +43,10 @@ public:
 
 #ifndef SCRIPTING_API
   _Platform* platform;
+
+private:
+  Platform(const Platform&);
+  Platform& operator=(const Platform&);
 #endif
 };