From b92a5cb3ef79ff845dbebc0e6eedafe9e6c41f7c Mon Sep 17 00:00:00 2001 From: Michael Williamson Date: Fri, 8 Jan 2016 23:36:56 +0000 Subject: Remove boxInt from Python backend --- src/main/resources/python/runtime/_couscous.py | 3 --- 1 file changed, 3 deletions(-) (limited to 'src/main/resources/python') diff --git a/src/main/resources/python/runtime/_couscous.py b/src/main/resources/python/runtime/_couscous.py index b8ab6fd..dcbd394 100644 --- a/src/main/resources/python/runtime/_couscous.py +++ b/src/main/resources/python/runtime/_couscous.py @@ -7,6 +7,3 @@ def _div_round_to_zero(a, b): def _mod_round_to_zero(a, b): return -(-a % b) if (a < 0) ^ (b < 0) else a % b - -def boxInt(value): - return Integer(value) \ No newline at end of file -- cgit v1.2.3