From 677ec8c5e33e4fe2c2fbb89cf76404c0733d22cd Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Wed, 20 Jul 2016 21:21:25 +0200
Subject: [PATCH] leon -> inox in utils
---
src/main/scala/inox/utils/Bijection.scala | 2 +-
src/main/scala/inox/utils/FreeableIterator.scala | 2 +-
src/main/scala/inox/utils/GrowableIterable.scala | 2 +-
src/main/scala/inox/utils/IncrementalBijection.scala | 2 +-
src/main/scala/inox/utils/IncrementalMap.scala | 2 +-
src/main/scala/inox/utils/IncrementalSeq.scala | 2 +-
src/main/scala/inox/utils/IncrementalSet.scala | 2 +-
src/main/scala/inox/utils/IncrementalState.scala | 2 +-
src/main/scala/inox/utils/Report.scala | 2 +-
src/main/scala/inox/utils/SCC.scala | 2 +-
src/main/scala/inox/utils/SearchSpace.scala | 2 +-
src/main/scala/inox/utils/SeqUtils.scala | 2 +-
12 files changed, 12 insertions(+), 12 deletions(-)
diff --git a/src/main/scala/inox/utils/Bijection.scala b/src/main/scala/inox/utils/Bijection.scala
index e32f60fc6..009f4d9cf 100644
--- a/src/main/scala/inox/utils/Bijection.scala
+++ b/src/main/scala/inox/utils/Bijection.scala
@@ -1,6 +1,6 @@
/* Copyright 2009-2016 EPFL, Lausanne */
-package leon.utils
+package inox.utils
import scala.collection.mutable.{Map => MutableMap}
diff --git a/src/main/scala/inox/utils/FreeableIterator.scala b/src/main/scala/inox/utils/FreeableIterator.scala
index 9b3734270..d517c87dd 100644
--- a/src/main/scala/inox/utils/FreeableIterator.scala
+++ b/src/main/scala/inox/utils/FreeableIterator.scala
@@ -1,6 +1,6 @@
/* Copyright 2009-2016 EPFL, Lausanne */
-package leon
+package inox
package utils
abstract class FreeableIterator[T] extends Iterator[T] {
diff --git a/src/main/scala/inox/utils/GrowableIterable.scala b/src/main/scala/inox/utils/GrowableIterable.scala
index 3c5958149..c87f3af5e 100644
--- a/src/main/scala/inox/utils/GrowableIterable.scala
+++ b/src/main/scala/inox/utils/GrowableIterable.scala
@@ -1,6 +1,6 @@
/* Copyright 2009-2016 EPFL, Lausanne */
-package leon.utils
+package inox.utils
import scala.collection.mutable.ArrayBuffer
diff --git a/src/main/scala/inox/utils/IncrementalBijection.scala b/src/main/scala/inox/utils/IncrementalBijection.scala
index 18f568ee2..225abb337 100644
--- a/src/main/scala/inox/utils/IncrementalBijection.scala
+++ b/src/main/scala/inox/utils/IncrementalBijection.scala
@@ -1,6 +1,6 @@
/* Copyright 2009-2016 EPFL, Lausanne */
-package leon.utils
+package inox.utils
import scala.collection.mutable.{Map => MutableMap, Stack}
diff --git a/src/main/scala/inox/utils/IncrementalMap.scala b/src/main/scala/inox/utils/IncrementalMap.scala
index d1c3fe034..c62104ae8 100644
--- a/src/main/scala/inox/utils/IncrementalMap.scala
+++ b/src/main/scala/inox/utils/IncrementalMap.scala
@@ -1,6 +1,6 @@
/* Copyright 2009-2016 EPFL, Lausanne */
-package leon.utils
+package inox.utils
import scala.collection.mutable.{Stack, Map => MMap, Builder}
import scala.collection.generic.Shrinkable
diff --git a/src/main/scala/inox/utils/IncrementalSeq.scala b/src/main/scala/inox/utils/IncrementalSeq.scala
index 7c7846c94..737cd224a 100644
--- a/src/main/scala/inox/utils/IncrementalSeq.scala
+++ b/src/main/scala/inox/utils/IncrementalSeq.scala
@@ -1,6 +1,6 @@
/* Copyright 2009-2016 EPFL, Lausanne */
-package leon.utils
+package inox.utils
import scala.collection.mutable.Stack
import scala.collection.mutable.Builder
diff --git a/src/main/scala/inox/utils/IncrementalSet.scala b/src/main/scala/inox/utils/IncrementalSet.scala
index e0f8c9c53..ae329af5d 100644
--- a/src/main/scala/inox/utils/IncrementalSet.scala
+++ b/src/main/scala/inox/utils/IncrementalSet.scala
@@ -1,6 +1,6 @@
/* Copyright 2009-2016 EPFL, Lausanne */
-package leon.utils
+package inox.utils
import scala.collection.mutable.{Stack, Set => MSet}
import scala.collection.mutable.Builder
diff --git a/src/main/scala/inox/utils/IncrementalState.scala b/src/main/scala/inox/utils/IncrementalState.scala
index a4df1acbe..87756168c 100644
--- a/src/main/scala/inox/utils/IncrementalState.scala
+++ b/src/main/scala/inox/utils/IncrementalState.scala
@@ -1,6 +1,6 @@
/* Copyright 2009-2016 EPFL, Lausanne */
-package leon.utils
+package inox.utils
trait IncrementalState {
def push(): Unit
diff --git a/src/main/scala/inox/utils/Report.scala b/src/main/scala/inox/utils/Report.scala
index 4e4a64dbe..038e3fdc9 100644
--- a/src/main/scala/inox/utils/Report.scala
+++ b/src/main/scala/inox/utils/Report.scala
@@ -1,6 +1,6 @@
/* Copyright 2009-2016 EPFL, Lausanne */
-package leon.utils
+package inox.utils
/** Represents a pretty-printable report */
abstract class Report {
diff --git a/src/main/scala/inox/utils/SCC.scala b/src/main/scala/inox/utils/SCC.scala
index 31dd7b4a5..06f090a9e 100644
--- a/src/main/scala/inox/utils/SCC.scala
+++ b/src/main/scala/inox/utils/SCC.scala
@@ -1,6 +1,6 @@
/* Copyright 2009-2016 EPFL, Lausanne */
-package leon
+package inox
package utils
/** Returns the list of strongly connected sets of vertices.
diff --git a/src/main/scala/inox/utils/SearchSpace.scala b/src/main/scala/inox/utils/SearchSpace.scala
index b514b72ff..864a709bc 100644
--- a/src/main/scala/inox/utils/SearchSpace.scala
+++ b/src/main/scala/inox/utils/SearchSpace.scala
@@ -1,6 +1,6 @@
/* Copyright 2009-2016 EPFL, Lausanne */
-package leon.utils
+package inox.utils
object SearchSpace {
diff --git a/src/main/scala/inox/utils/SeqUtils.scala b/src/main/scala/inox/utils/SeqUtils.scala
index e55c1ac27..659e5291c 100644
--- a/src/main/scala/inox/utils/SeqUtils.scala
+++ b/src/main/scala/inox/utils/SeqUtils.scala
@@ -1,6 +1,6 @@
/* Copyright 2009-2016 EPFL, Lausanne */
-package leon.utils
+package inox.utils
import scala.collection.SeqView
import scala.collection.mutable.ArrayBuffer
--
GitLab