diff --git a/.gitignore b/.gitignore
index cf100fb9a27349a5d8a01f064419d146c7870f48..5ecb4c908bde9f33a0f623d2e6a54f5af4bce94d 100644
--- a/.gitignore
+++ b/.gitignore
@@ -10,3 +10,6 @@
 *.cmxa
 *.cmi
 *.cmx
+# executable files
+coalg
+coalgcompare