From c155220851b5702753034648d5487bd8998cbaf9 Mon Sep 17 00:00:00 2001
From: an7s <an7s@git.zephyr-software.com>
Date: Tue, 8 Nov 2016 16:32:19 +0000
Subject: [PATCH] Fix setting of random seed

Former-commit-id: 2335713bae6bfc6dd48cb36e1ddc593e5e398a74
---
 tools/transforms/globals.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/transforms/globals.h b/tools/transforms/globals.h
index 0cda331f3..67292dadb 100644
--- a/tools/transforms/globals.h
+++ b/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; }
-- 
GitLab