From 8f507850a7cc582fac3944a54ce09e3d1c3f4e16 Mon Sep 17 00:00:00 2001
From: noti0na1 <noti0na1@users.noreply.github.com>
Date: Thu, 17 Feb 2022 09:19:36 -0500
Subject: [PATCH] Rename test file

---
 tests/pos/{pickleSkelom.scala => pickleSkolem.scala} | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
 rename tests/pos/{pickleSkelom.scala => pickleSkolem.scala} (98%)

diff --git a/tests/pos/pickleSkelom.scala b/tests/pos/pickleSkolem.scala
similarity index 98%
rename from tests/pos/pickleSkelom.scala
rename to tests/pos/pickleSkolem.scala
index e598c8ebcbeb..852b1cee65ba 100644
--- a/tests/pos/pickleSkelom.scala
+++ b/tests/pos/pickleSkolem.scala
@@ -12,4 +12,4 @@ def g = {
 def testNN = {
   var s: String = ???
   s.nn
-}
\ No newline at end of file
+}