diff --git a/tyck-base/src/main/scala/chester/tyck/Context2.scala b/tyck/src/main/scala/chester/tyck/Context2.scala
similarity index 100%
rename from tyck-base/src/main/scala/chester/tyck/Context2.scala
rename to tyck/src/main/scala/chester/tyck/Context2.scala
diff --git a/tyck-base/src/main/scala/chester/tyck/ElaboraterCommon.scala b/tyck/src/main/scala/chester/tyck/ElaboraterCommon.scala
similarity index 100%
rename from tyck-base/src/main/scala/chester/tyck/ElaboraterCommon.scala
rename to tyck/src/main/scala/chester/tyck/ElaboraterCommon.scala