diff --git a/src/main/scala/leon/synthesis/Cost.scala b/src/main/scala/leon/synthesis/CostModel.scala
similarity index 100%
rename from src/main/scala/leon/synthesis/Cost.scala
rename to src/main/scala/leon/synthesis/CostModel.scala