Fix setting of random seed

Former-commit-id: 2335713bae6bfc6dd48cb36e1ddc593e5e398a74

tools/transforms/globals.h

@@ -54,7 +54,7 @@ class PNOptions
 		void setRecursiveMinStackPadding(int val) { recursive_min_stack_padding = val; }
 		void setRecursiveMaxStackPadding(int val) { recursive_max_stack_padding = val; }
 		void setShouldDoubleFrameSize(bool val) { should_double_frame_size = val; }
-		void setRandomSeed(bool val) { random_seed = val; }
+		void setRandomSeed(int val) { random_seed = val; }
 		void setCanaryValue(int val) { canary_value = val; canary_value_inited=true; }
 
 		int getMinStackPadding() const { return min_stack_padding; }