diff options
| author | Michael Williamson <mike@zwobble.org> | 2016-01-08 23:36:56 +0000 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2016-01-08 23:36:56 +0000 |
| commit | b92a5cb3ef79ff845dbebc0e6eedafe9e6c41f7c (patch) | |
| tree | b848794550497a5adcf433a92cff2a8e75e613be /src/main/resources/python/runtime | |
| parent | 216084fc0b73882f6fdd38b90e587726c1b33586 (diff) | |
Remove boxInt from Python backend
Diffstat (limited to 'src/main/resources/python/runtime')
| -rw-r--r-- | src/main/resources/python/runtime/_couscous.py | 3 |
1 files changed, 0 insertions, 3 deletions
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 |