diff --git a/src/funcheck/CP.scala b/src/cp/CP.scala similarity index 100% rename from src/funcheck/CP.scala rename to src/cp/CP.scala diff --git a/src/funcheck/CPComponent.scala b/src/cp/CPComponent.scala similarity index 100% rename from src/funcheck/CPComponent.scala rename to src/cp/CPComponent.scala diff --git a/src/funcheck/CPPlugin.scala b/src/cp/CPPlugin.scala similarity index 100% rename from src/funcheck/CPPlugin.scala rename to src/cp/CPPlugin.scala diff --git a/src/funcheck/CallTransformation.scala b/src/cp/CallTransformation.scala similarity index 100% rename from src/funcheck/CallTransformation.scala rename to src/cp/CallTransformation.scala diff --git a/src/funcheck/CodeGeneration.scala b/src/cp/CodeGeneration.scala similarity index 100% rename from src/funcheck/CodeGeneration.scala rename to src/cp/CodeGeneration.scala diff --git a/src/funcheck/Serialization.scala b/src/cp/Serialization.scala similarity index 100% rename from src/funcheck/Serialization.scala rename to src/cp/Serialization.scala