Fix srandom

teensy3/WMath.cpp

@@ -28,7 +28,7 @@ void randomSeed(uint32_t newseed)
 	if (newseed > 0) seed = newseed;
 }
 
-void srandom(uint32_t newseed)
+void srandom(unsigned int newseed)
 {
 	seed = newseed;
 }

teensy3/WProgram.h

@@ -84,7 +84,7 @@ int32_t random(void);
 uint32_t random(uint32_t howbig);
 int32_t random(int32_t howsmall, int32_t howbig);
 void randomSeed(uint32_t newseed);
-void srandom(uint32_t newseed);
+void srandom(unsigned int newseed);
 
 #include "pins_arduino.h"