From 65b760e9bc7ca56e84f71009b90759a1a3da8961 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Mika=C3=ABl=20Mayer?= <mikael.mayer@epfl.ch>
Date: Mon, 9 May 2016 15:43:11 +0200
Subject: [PATCH] Moved the library/ to library/leon/ so that IDE do not
 complain.

---
 library/{ => leon}/annotation/isabelle.scala     | 0
 library/{ => leon}/annotation/package.scala      | 0
 library/{ => leon}/collection/List.scala         | 0
 library/{ => leon}/collection/package.scala      | 0
 library/{ => leon}/instrumentation/package.scala | 0
 library/{ => leon}/invariant/package.scala       | 0
 library/{ => leon}/io/StdIn.scala                | 0
 library/{ => leon}/lang/Bag.scala                | 0
 library/{ => leon}/lang/Dummy.scala              | 0
 library/{ => leon}/lang/Either.scala             | 0
 library/{ => leon}/lang/Map.scala                | 0
 library/{ => leon}/lang/Option.scala             | 0
 library/{ => leon}/lang/Rational.scala           | 0
 library/{ => leon}/lang/Real.scala               | 0
 library/{ => leon}/lang/Set.scala                | 0
 library/{ => leon}/lang/StrOps.scala             | 0
 library/{ => leon}/lang/package.scala            | 0
 library/{ => leon}/lang/synthesis/Oracle.scala   | 0
 library/{ => leon}/lang/synthesis/package.scala  | 0
 library/{ => leon}/lang/xlang/package.scala      | 0
 library/{ => leon}/lazy/package.scala            | 0
 library/{ => leon}/math/package.scala            | 0
 library/{ => leon}/mem/package.scala             | 0
 library/{ => leon}/monads/state/State.scala      | 0
 library/{ => leon}/par/package.scala             | 0
 library/{ => leon}/proof/Internal.scala          | 0
 library/{ => leon}/proof/package.scala           | 0
 library/{ => leon}/stats/package.scala           | 0
 library/{ => leon}/theories/Bag.scala            | 0
 library/{ => leon}/theories/String.scala         | 0
 library/{ => leon}/util/Random.scala             | 0
 31 files changed, 0 insertions(+), 0 deletions(-)
 rename library/{ => leon}/annotation/isabelle.scala (100%)
 rename library/{ => leon}/annotation/package.scala (100%)
 rename library/{ => leon}/collection/List.scala (100%)
 rename library/{ => leon}/collection/package.scala (100%)
 rename library/{ => leon}/instrumentation/package.scala (100%)
 rename library/{ => leon}/invariant/package.scala (100%)
 rename library/{ => leon}/io/StdIn.scala (100%)
 rename library/{ => leon}/lang/Bag.scala (100%)
 rename library/{ => leon}/lang/Dummy.scala (100%)
 rename library/{ => leon}/lang/Either.scala (100%)
 rename library/{ => leon}/lang/Map.scala (100%)
 rename library/{ => leon}/lang/Option.scala (100%)
 rename library/{ => leon}/lang/Rational.scala (100%)
 rename library/{ => leon}/lang/Real.scala (100%)
 rename library/{ => leon}/lang/Set.scala (100%)
 rename library/{ => leon}/lang/StrOps.scala (100%)
 rename library/{ => leon}/lang/package.scala (100%)
 rename library/{ => leon}/lang/synthesis/Oracle.scala (100%)
 rename library/{ => leon}/lang/synthesis/package.scala (100%)
 rename library/{ => leon}/lang/xlang/package.scala (100%)
 rename library/{ => leon}/lazy/package.scala (100%)
 rename library/{ => leon}/math/package.scala (100%)
 rename library/{ => leon}/mem/package.scala (100%)
 rename library/{ => leon}/monads/state/State.scala (100%)
 rename library/{ => leon}/par/package.scala (100%)
 rename library/{ => leon}/proof/Internal.scala (100%)
 rename library/{ => leon}/proof/package.scala (100%)
 rename library/{ => leon}/stats/package.scala (100%)
 rename library/{ => leon}/theories/Bag.scala (100%)
 rename library/{ => leon}/theories/String.scala (100%)
 rename library/{ => leon}/util/Random.scala (100%)

diff --git a/library/annotation/isabelle.scala b/library/leon/annotation/isabelle.scala
similarity index 100%
rename from library/annotation/isabelle.scala
rename to library/leon/annotation/isabelle.scala
diff --git a/library/annotation/package.scala b/library/leon/annotation/package.scala
similarity index 100%
rename from library/annotation/package.scala
rename to library/leon/annotation/package.scala
diff --git a/library/collection/List.scala b/library/leon/collection/List.scala
similarity index 100%
rename from library/collection/List.scala
rename to library/leon/collection/List.scala
diff --git a/library/collection/package.scala b/library/leon/collection/package.scala
similarity index 100%
rename from library/collection/package.scala
rename to library/leon/collection/package.scala
diff --git a/library/instrumentation/package.scala b/library/leon/instrumentation/package.scala
similarity index 100%
rename from library/instrumentation/package.scala
rename to library/leon/instrumentation/package.scala
diff --git a/library/invariant/package.scala b/library/leon/invariant/package.scala
similarity index 100%
rename from library/invariant/package.scala
rename to library/leon/invariant/package.scala
diff --git a/library/io/StdIn.scala b/library/leon/io/StdIn.scala
similarity index 100%
rename from library/io/StdIn.scala
rename to library/leon/io/StdIn.scala
diff --git a/library/lang/Bag.scala b/library/leon/lang/Bag.scala
similarity index 100%
rename from library/lang/Bag.scala
rename to library/leon/lang/Bag.scala
diff --git a/library/lang/Dummy.scala b/library/leon/lang/Dummy.scala
similarity index 100%
rename from library/lang/Dummy.scala
rename to library/leon/lang/Dummy.scala
diff --git a/library/lang/Either.scala b/library/leon/lang/Either.scala
similarity index 100%
rename from library/lang/Either.scala
rename to library/leon/lang/Either.scala
diff --git a/library/lang/Map.scala b/library/leon/lang/Map.scala
similarity index 100%
rename from library/lang/Map.scala
rename to library/leon/lang/Map.scala
diff --git a/library/lang/Option.scala b/library/leon/lang/Option.scala
similarity index 100%
rename from library/lang/Option.scala
rename to library/leon/lang/Option.scala
diff --git a/library/lang/Rational.scala b/library/leon/lang/Rational.scala
similarity index 100%
rename from library/lang/Rational.scala
rename to library/leon/lang/Rational.scala
diff --git a/library/lang/Real.scala b/library/leon/lang/Real.scala
similarity index 100%
rename from library/lang/Real.scala
rename to library/leon/lang/Real.scala
diff --git a/library/lang/Set.scala b/library/leon/lang/Set.scala
similarity index 100%
rename from library/lang/Set.scala
rename to library/leon/lang/Set.scala
diff --git a/library/lang/StrOps.scala b/library/leon/lang/StrOps.scala
similarity index 100%
rename from library/lang/StrOps.scala
rename to library/leon/lang/StrOps.scala
diff --git a/library/lang/package.scala b/library/leon/lang/package.scala
similarity index 100%
rename from library/lang/package.scala
rename to library/leon/lang/package.scala
diff --git a/library/lang/synthesis/Oracle.scala b/library/leon/lang/synthesis/Oracle.scala
similarity index 100%
rename from library/lang/synthesis/Oracle.scala
rename to library/leon/lang/synthesis/Oracle.scala
diff --git a/library/lang/synthesis/package.scala b/library/leon/lang/synthesis/package.scala
similarity index 100%
rename from library/lang/synthesis/package.scala
rename to library/leon/lang/synthesis/package.scala
diff --git a/library/lang/xlang/package.scala b/library/leon/lang/xlang/package.scala
similarity index 100%
rename from library/lang/xlang/package.scala
rename to library/leon/lang/xlang/package.scala
diff --git a/library/lazy/package.scala b/library/leon/lazy/package.scala
similarity index 100%
rename from library/lazy/package.scala
rename to library/leon/lazy/package.scala
diff --git a/library/math/package.scala b/library/leon/math/package.scala
similarity index 100%
rename from library/math/package.scala
rename to library/leon/math/package.scala
diff --git a/library/mem/package.scala b/library/leon/mem/package.scala
similarity index 100%
rename from library/mem/package.scala
rename to library/leon/mem/package.scala
diff --git a/library/monads/state/State.scala b/library/leon/monads/state/State.scala
similarity index 100%
rename from library/monads/state/State.scala
rename to library/leon/monads/state/State.scala
diff --git a/library/par/package.scala b/library/leon/par/package.scala
similarity index 100%
rename from library/par/package.scala
rename to library/leon/par/package.scala
diff --git a/library/proof/Internal.scala b/library/leon/proof/Internal.scala
similarity index 100%
rename from library/proof/Internal.scala
rename to library/leon/proof/Internal.scala
diff --git a/library/proof/package.scala b/library/leon/proof/package.scala
similarity index 100%
rename from library/proof/package.scala
rename to library/leon/proof/package.scala
diff --git a/library/stats/package.scala b/library/leon/stats/package.scala
similarity index 100%
rename from library/stats/package.scala
rename to library/leon/stats/package.scala
diff --git a/library/theories/Bag.scala b/library/leon/theories/Bag.scala
similarity index 100%
rename from library/theories/Bag.scala
rename to library/leon/theories/Bag.scala
diff --git a/library/theories/String.scala b/library/leon/theories/String.scala
similarity index 100%
rename from library/theories/String.scala
rename to library/leon/theories/String.scala
diff --git a/library/util/Random.scala b/library/leon/util/Random.scala
similarity index 100%
rename from library/util/Random.scala
rename to library/leon/util/Random.scala
-- 
GitLab