diff --git a/.unison/default.prf b/.unison/default.prf
index 9ecb9f2..f192f31 100644
--- a/.unison/default.prf
+++ b/.unison/default.prf
@@ -23,3 +23,4 @@ ignore = Name *.nav
 ignore = Name *.snm
 ignore = Name *.vrb
 ignore = Name *.o
+ignore = Name *.cmi