From eb145bdfa0c737ba42b7dc13db963b0f66b6498f Mon Sep 17 00:00:00 2001
From: =?utf8?q?Alexis=20Laferri=C3=A8re?= <alexis.laf@xymus.net>
Date: Mon, 26 Jun 2017 14:10:30 -0400
Subject: [PATCH] action_nitro: remove dead code
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
---
 contrib/action_nitro/src/action_nitro.nit |   11 -----------
 1 file changed, 11 deletions(-)

diff --git a/contrib/action_nitro/src/action_nitro.nit b/contrib/action_nitro/src/action_nitro.nit
index dc2548f..2c6afdc 100644
--- a/contrib/action_nitro/src/action_nitro.nit
+++ b/contrib/action_nitro/src/action_nitro.nit
@@ -634,17 +634,6 @@ redef class World
 	end
 end
 
-redef class Int
-	# Pad a number with `0`s on the left side to reach `size` digits
-	private fun pad(size: Int): String
-	do
-		var s = to_s
-		var d = size - s.length
-		if d > 0 then s = "0"*d + s
-		return s
-	end
-end
-
 # Manager to display numbers in sprite
 class CounterSprites
 
-- 
1.7.9.5