diff options
author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2019-12-09 00:24:56 +0100 |
---|---|---|
committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2019-12-09 00:24:56 +0100 |
commit | faa80ad61505517b48ed0afc86f39fd3ad021b7d (patch) | |
tree | 83cbeef1a4ceed99c3e99a312a7796fc5399ac1d | |
parent | dadcc19ccdcb94aa56595a2f8a2d4c7f0f6a35c2 (diff) | |
parent | 74aa8ab9d6e18f7964a80981516f22d1c9a545ae (diff) | |
download | sparse-faa80ad61505517b48ed0afc86f39fd3ad021b7d.tar.gz |
Merge branch 'no-std-includes'
* testsuite: avoid standard includes in the tests
-rw-r--r-- | validation/backend/hello.c | 2 | ||||
-rw-r--r-- | validation/backend/sum.c | 3 |
2 files changed, 2 insertions, 3 deletions
diff --git a/validation/backend/hello.c b/validation/backend/hello.c index b0e514be..eb89846f 100644 --- a/validation/backend/hello.c +++ b/validation/backend/hello.c @@ -1,4 +1,4 @@ -#include <stdio.h> +int puts(const char *s); int main(int argc, char *argv[]) { diff --git a/validation/backend/sum.c b/validation/backend/sum.c index fa51120e..38ebf41e 100644 --- a/validation/backend/sum.c +++ b/validation/backend/sum.c @@ -1,5 +1,4 @@ -#include <stdio.h> -#include <stdlib.h> +int printf(const char * fmt, ...); static int sum(int n) { |