diff --git a/template-pcuic/metacoq-config b/template-pcuic/metacoq-config
deleted file mode 100644
index 7fe94ce25..000000000
--- a/template-pcuic/metacoq-config
+++ /dev/null
@@ -1,2 +0,0 @@
-# DO NOT EDIT THIS FILE: autogenerated from ./configure.sh
-