diff --git a/server/GameServer/TacticDocstringTest.lean b/server/test/tactic_docstring_test.lean
similarity index 100%
rename from server/GameServer/TacticDocstringTest.lean
rename to server/test/tactic_docstring_test.lean