1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index c770382da..d5305641e 100644
--- a/Makefile
+++ b/Makefile
@@ -1,4 +1,4 @@
-COQ_ARGS := -R bedrock/Bedrock Bedrock
+COQ_ARGS := -R bedrock/Bedrock Bedrock -R coqprime/Tactic Coqprime -R coqprime/N Coqprime -R coqprime/Z Coqprime -R coqprime/List Coqprime -R coqprime/PrimalityTest Coqprime
 MOD_NAME := Crypto
 SRC_DIR  := src
 MODULES  := Curves Galois Rep Specific Tactics Util