aboutsummaryrefslogtreecommitdiffstats
path: root/Library
diff options
context:
space:
mode:
Diffstat (limited to 'Library')
-rw-r--r--Library/Formula/compcert.rb2
1 files changed, 1 insertions, 1 deletions
diff --git a/Library/Formula/compcert.rb b/Library/Formula/compcert.rb
index b3bd0a1c6..f0820b4dc 100644
--- a/Library/Formula/compcert.rb
+++ b/Library/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;