diff --git a/src/main/scala/leon/Annotations.scala b/library/Annotations.scala
similarity index 100%
rename from src/main/scala/leon/Annotations.scala
rename to library/Annotations.scala