From f04b27337cd18d8cfee94522b622bd7dd03abadb Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Fri, 27 Mar 2020 13:33:29 +0100
Subject: [PATCH] [printer] never show __fc_sig_* identifiers unless user
really wants it
---
src/kernel_services/ast_printing/cil_printer.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/kernel_services/ast_printing/cil_printer.ml b/src/kernel_services/ast_printing/cil_printer.ml
index e1642d5c48b..9acb7457ad8 100644
--- a/src/kernel_services/ast_printing/cil_printer.ml
+++ b/src/kernel_services/ast_printing/cil_printer.ml
@@ -658,7 +658,7 @@ class cil_printer () = object (self)
(*** VARIABLES ***)
method varname fmt v =
let v =
- if not (Kernel.PrintLibc.get ()) &&
+ if not state.print_cil_as_is &&
Datatype.String.Hashtbl.mem rename_builtins v
then
Datatype.String.Hashtbl.find rename_builtins v
--
GitLab