From 6e969808f3a7103231c4edca4f2c6f0908c10f66 Mon Sep 17 00:00:00 2001
From: Detective Google <48196179+Detective-Google@users.noreply.github.com>
Date: Sat, 8 Feb 2020 00:53:22 -0600
Subject: [PATCH] capitalization is FUN!

---
 code/modules/pool/pool_structures.dm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/code/modules/pool/pool_structures.dm b/code/modules/pool/pool_structures.dm
index 0bf74bb2ee..92350abf44 100644
--- a/code/modules/pool/pool_structures.dm
+++ b/code/modules/pool/pool_structures.dm
@@ -74,7 +74,7 @@
 				jumper.pixel_x = 3
 				jumper.pixel_y = 7
 				jumper.dir = WEST
-				jumper.Addelement(/datum/element/swimming)
+				jumper.AddElement(/datum/element/swimming)
 				sleep(1)
 				jumper.forceMove(T)
 				addtimer(CALLBACK(src, .proc/dive, jumper, original_layer, original_px, original_py), 10)