From 1f0a14bb231f7b425e3c7690031aea5cc17bb463 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C3=A9mi=20Rativel?=
 <remi.rativel@etudiant.univ-rennes1.fr>
Date: Wed, 9 Jun 2021 18:18:44 +0200
Subject: [PATCH] deleted an unused constructor in Push Hitbox

---
 src/gameplay/hitboxes/Push_HitBox.java | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/src/gameplay/hitboxes/Push_HitBox.java b/src/gameplay/hitboxes/Push_HitBox.java
index e7f44f4..c97b52b 100644
--- a/src/gameplay/hitboxes/Push_HitBox.java
+++ b/src/gameplay/hitboxes/Push_HitBox.java
@@ -5,9 +5,4 @@ public class Push_HitBox extends HitBox {
 	public Push_HitBox() {
 		super();
 	}
-	
-	public Push_HitBox(Double position_x, Double position_y, Double size_x, Double size_y) {
-		super(position_x, position_y, size_x, size_y);
-	}
-
 }