From ed115bf51157c4fbf58328d5cd2f0f9f85417f2e Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <ekneuss@gmail.com>
Date: Tue, 4 Dec 2012 03:38:40 +0100
Subject: [PATCH] Prepare ground for multiple cost models

---
 src/main/scala/leon/synthesis/{Cost.scala => CostModel.scala} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename src/main/scala/leon/synthesis/{Cost.scala => CostModel.scala} (100%)

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
-- 
GitLab