From a0e4f91c425b110dc2bf3821d81315f9a78f391c Mon Sep 17 00:00:00 2001
From: Patience Shyu <patienceshyu@gmail.com>
Date: Tue, 3 Jul 2018 14:03:01 +0200
Subject: [PATCH] Remove unneeded cast to org/python/types/Int

---
 voc/python/blocks.py | 2 --
 1 file changed, 2 deletions(-)

diff --git a/voc/python/blocks.py b/voc/python/blocks.py
index 51b60b8356..246eae067c 100644
--- a/voc/python/blocks.py
+++ b/voc/python/blocks.py
@@ -155,10 +155,8 @@ def add_int(self, value):
         self.add_opcodes(
             LCONST_val(value),
             JavaOpcodes.INVOKESTATIC('org/python/types/Int', 'getInt', args=['J'], returns='Lorg/python/types/Int;'),
-            JavaOpcodes.CHECKCAST('org/python/types/Int'),
         )
 
-
     def add_float(self, value):
         self.add_opcodes(
             java.New('org/python/types/Float'),