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