diff --git a/koch.nim b/koch.nim
index 23c6fac52..ea58031c6 100644
--- a/koch.nim
+++ b/koch.nim
@@ -425,15 +425,6 @@ proc temp(args: string) =
   copyExe(output, finalDest)
   if programArgs.len > 0: exec(finalDest & " " & programArgs)
 
-proc copyDir(src, dest: string) =
-  for kind, path in walkDir(src, relative=true):
-    case kind
-    of pcDir: copyDir(dest / path, src / path)
-    of pcFile:
-      createDir(dest)
-      copyFile(src / path, dest / path)
-    else: discard
-
 proc pushCsources() =
   if not dirExists("../csources/.git"):
     quit "[Error] no csources git repository found"