diff --git a/testcases/IntSynth.scala b/clp/IntSynth.scala similarity index 100% rename from testcases/IntSynth.scala rename to clp/IntSynth.scala