diff --git a/.unison/default.prf b/.unison/default.prf
index 87b5ac7..cf4cce2 100644
--- a/.unison/default.prf
+++ b/.unison/default.prf
@@ -17,7 +17,6 @@ ignore = Name .import
 # Ignore list files
 ignore = Name synctex.gz
 ignore = Name *.toc
-ignore = Name *.out
 ignore = Name *.log
 ignore = Name *.fls
 ignore = Name *.aux
@@ -26,4 +25,6 @@ ignore = Name *.nav
 ignore = Name *.snm
 ignore = Name *.vrb
 ignore = Name *.o
+ignore = Name *.out
 ignore = Name *.cmi
+ignore = Name *.byte