From cb2a04e25571a5a1e53edfb6a747b0398a1656c9 Mon Sep 17 00:00:00 2001
From: Taine Zhao <thaut@logic.cs.tsukuba.ac.jp>
Date: Sat, 13 Jun 2020 14:54:44 +0900
Subject: [PATCH] fix #2

---
 python-ffi/Test/QuickCheck/Gen.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/python-ffi/Test/QuickCheck/Gen.py b/python-ffi/Test/QuickCheck/Gen.py
index 6f53336..5825d3f 100644
--- a/python-ffi/Test/QuickCheck/Gen.py
+++ b/python-ffi/Test/QuickCheck/Gen.py
@@ -1,4 +1,4 @@
 import struct
 
 def float32ToInt32(n):
-    return struct.unpack("i", struct.pack("f", n))
+    return struct.unpack("i", struct.pack("f", n))[0]