diff --git a/Formula/compcert.rb b/Formula/compcert.rb
index b3bd0a1c6d..f0820b4dc3 100644
--- a/Formula/compcert.rb
+++ b/Formula/compcert.rb
@@ -26,7 +26,7 @@ class Compcert < Formula
 
   test do
     (testpath/"test.c").write <<-EOS.undent
-      #include <stdio.h>
+      int printf(const char *fmt, ...);
       int main(int argc, char** argv) {
         printf("Hello, world!\\n");
         return 0;