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