From 5402c3cf76eb1ef470954d15ced317c65e13d05a Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Sat, 1 Jul 2023 06:20:12 -0700 Subject: [PATCH] chore: fix test file names --- tests/lean/{2155.lean => 2115.lean} | 0 tests/lean/{2155.lean.expected.out => 2115.lean.expected.out} | 0 2 files changed, 0 insertions(+), 0 deletions(-) rename tests/lean/{2155.lean => 2115.lean} (100%) rename tests/lean/{2155.lean.expected.out => 2115.lean.expected.out} (100%) diff --git a/tests/lean/2155.lean b/tests/lean/2115.lean similarity index 100% rename from tests/lean/2155.lean rename to tests/lean/2115.lean diff --git a/tests/lean/2155.lean.expected.out b/tests/lean/2115.lean.expected.out similarity index 100% rename from tests/lean/2155.lean.expected.out rename to tests/lean/2115.lean.expected.out