Commit 278628ac authored by Julien Signoles's avatar Julien Signoles
Browse files

Merge branch 'feature/basile/eacsl-define-instead-of-literals' into 'master'

[eacsl:runtime] Use define values instead of literals

See merge request frama-c/frama-c!2748
parents 00816cca 97625601
......@@ -370,8 +370,8 @@ static void _format(void* putp, putcf putf, char *fmt, va_list va) {
}
}
static void _charc_stdout (void* p, char c) { write(1,&c,1); }
static void _charc_stderr (void* p, char c) { write(2,&c,1); }
static void _charc_stdout (void* p, char c) { write(STDOUT_FILENO,&c,1); }
static void _charc_stderr (void* p, char c) { write(STDERR_FILENO,&c,1); }
static void _charc_file (void* p, char c) { write((size_t)p,&c,1); }
static void _charc_literal (void* p, char c) {
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment