From 9762560178676aa3aeb6c4270f06814aa169d8e8 Mon Sep 17 00:00:00 2001
From: Basile Desloges <basile.desloges@cea.fr>
Date: Thu, 9 Jul 2020 13:49:05 +0200
Subject: [PATCH] [eacsl:runtime] Use define values instead of literals to
represent file descriptor number of stdout and stderr
---
src/plugins/e-acsl/share/e-acsl/e_acsl_printf.h | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/plugins/e-acsl/share/e-acsl/e_acsl_printf.h b/src/plugins/e-acsl/share/e-acsl/e_acsl_printf.h
index 729e8a1d633..c54588f7f65 100644
--- a/src/plugins/e-acsl/share/e-acsl/e_acsl_printf.h
+++ b/src/plugins/e-acsl/share/e-acsl/e_acsl_printf.h
@@ -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) {
--
GitLab