Index: .gitignore
===================================================================
--- .gitignore	(revision 6ce3ae922b111327cd3ac420a940851d0e653550)
+++ .gitignore	(revision 807ce84f225be4233a74a86eb9f23d721f903d71)
@@ -31,5 +31,4 @@
 
 src/prelude/builtins.cf
-src/prelude/builtins.c
 src/prelude/gcc-builtins.cf
 src/prelude/gcc-builtins.c