Next try to stick to C++-11

Author: chschulte

gecode/kernel/memory/config.hpp

@@ -122,7 +122,7 @@ namespace Gecode { namespace Kernel {
      * value is used.
      */
 #ifndef GECODE_MEMORY_ALIGNMENT
-#define GECODE_MEMORY_ALIGNMENT static_cast<size_t>(8U);
+#define GECODE_MEMORY_ALIGNMENT static_cast<size_t>(8U)
 #endif
     /**
      * \brief Size of region area