diff --git a/testcases/SatFun.scala b/testcases/Sat.scala
similarity index 100%
rename from testcases/SatFun.scala
rename to testcases/Sat.scala