diff --git a/coq/_CoqProject b/coq/_CoqProject
new file mode 100644
index 0000000000000000000000000000000000000000..aecc57192f2f7d2e9c130bb80130f92954724848
--- /dev/null
+++ b/coq/_CoqProject
@@ -0,0 +1 @@
+-R . sdram