diff --git a/.gitignore b/.gitignore
index cdcdc6d8..2a924323 100644
--- a/.gitignore
+++ b/.gitignore
@@ -7,3 +7,5 @@ bin/
 quantum_package_static.tar.gz
 resultsFile
 opam_installer.sh
+*.mod
+*.p
\ No newline at end of file