From e16a177c5b08728d4127dfbd94ecba2b7b8ef9b4 Mon Sep 17 00:00:00 2001
From: Philippe Suter <philippe.suter@gmail.com>
Date: Thu, 29 Apr 2010 15:07:51 +0000
Subject: [PATCH]

---
 src/{funcheck => }/purescala/Common.scala        | 0
 src/{funcheck => }/purescala/Definitions.scala   | 0
 src/{funcheck => }/purescala/PrettyPrinter.scala | 0
 src/{funcheck => }/purescala/Trees.scala         | 0
 src/{funcheck => }/purescala/TypeTrees.scala     | 0
 5 files changed, 0 insertions(+), 0 deletions(-)
 rename src/{funcheck => }/purescala/Common.scala (100%)
 rename src/{funcheck => }/purescala/Definitions.scala (100%)
 rename src/{funcheck => }/purescala/PrettyPrinter.scala (100%)
 rename src/{funcheck => }/purescala/Trees.scala (100%)
 rename src/{funcheck => }/purescala/TypeTrees.scala (100%)

diff --git a/src/funcheck/purescala/Common.scala b/src/purescala/Common.scala
similarity index 100%
rename from src/funcheck/purescala/Common.scala
rename to src/purescala/Common.scala
diff --git a/src/funcheck/purescala/Definitions.scala b/src/purescala/Definitions.scala
similarity index 100%
rename from src/funcheck/purescala/Definitions.scala
rename to src/purescala/Definitions.scala
diff --git a/src/funcheck/purescala/PrettyPrinter.scala b/src/purescala/PrettyPrinter.scala
similarity index 100%
rename from src/funcheck/purescala/PrettyPrinter.scala
rename to src/purescala/PrettyPrinter.scala
diff --git a/src/funcheck/purescala/Trees.scala b/src/purescala/Trees.scala
similarity index 100%
rename from src/funcheck/purescala/Trees.scala
rename to src/purescala/Trees.scala
diff --git a/src/funcheck/purescala/TypeTrees.scala b/src/purescala/TypeTrees.scala
similarity index 100%
rename from src/funcheck/purescala/TypeTrees.scala
rename to src/purescala/TypeTrees.scala
-- 
GitLab