From a799bcd76a08f6c507f7f36dd5df98288506ee2b Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Fri, 28 Feb 2020 10:47:47 -0800
Subject: [PATCH] chore: rename test

---
 tests/lean/run/{maxsharing.lean => sharecommon.lean} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename tests/lean/run/{maxsharing.lean => sharecommon.lean} (100%)

diff --git a/tests/lean/run/maxsharing.lean b/tests/lean/run/sharecommon.lean
similarity index 100%
rename from tests/lean/run/maxsharing.lean
rename to tests/lean/run/sharecommon.lean