diff --git a/src/main/scala/inox/utils/Bijection.scala b/src/main/scala/inox/utils/Bijection.scala
index e32f60fc689728607ef21ab43cbd5a3edbf66939..009f4d9cf938a7ae6c6383e223e5bc3543251946 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 9b37342703fb44570566f3801bfeb24573c606b5..d517c87ddcbf480793a7c34ee29a4ece200aeacb 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 3c595814993c9fc41da86bc84ee49cdcf9a546ec..c87f3af5e4a2f76cf0bfa99eb213c33de1160482 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 18f568ee2c5f3c9daea256aed8a165e4d5dbb99a..225abb3377d288cfed76f10548a9aa2c7f417d32 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 d1c3fe0344a7f44913b81efbd253ab06e84bb8c2..c62104ae82e5a1b7462633c000d9fa7d093d6747 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 7c7846c94d409c9b0bfde327528e8d36e8487363..737cd224af7c67749326288b77fe14828a6fea49 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 e0f8c9c53ed791348e80d8ac834f9d43c495f4f6..ae329af5dc3d93dc8eeeaa867adf2a9d95756ece 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 a4df1acbe1a242c6fab0be4c091332d1a20d7e4c..87756168c455ee8433053f76712b5776ac84b37b 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 4e4a64dbe749f4cbf61f8036709936bbf68dd88e..038e3fdc92028d6941a78ab2cab6d4d0a3f101d0 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 31dd7b4a5e9de6b838237f19b19b52869c7a8a8a..06f090a9e9fb58f40f8a84482abd088e132a2b31 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 b514b72ffec351529ed8b9a14da82097a69287be..864a709bc5583fd4cee81e5651f15b5d53a08901 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 e55c1ac277be0d867547309684baf9f7560aa276..659e5291ce23c7728f6b4c401458ec92d8e2d2df 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