diff --git a/src/kernel_services/ast_printing/cil_printer.ml b/src/kernel_services/ast_printing/cil_printer.ml
index e1642d5c48bad2da4a98d431f042f9581e4c7d31..9acb7457ad8d26e613282077bee4c300cfb1a8bf 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