Project

General

Profile

« Previous | Next » 

Revision d0f26f04

Added by LĂ©lio Brun 7 months ago

corrections for stateless nodes

View differences:

src/backends/C/c_backend_common.ml
720 720
end
721 721

  
722 722
module EmptyGhostProto : MODIFIERS_GHOST_PROTO = struct
723
  let pp_ghost_parameters ?cut _ _ = ()
723
  let pp_ghost_parameters ?cut _ _ = ignore cut
724 724
end
725 725

  
726 726
module Protos (Mod : MODIFIERS_GHOST_PROTO) = struct

Also available in: Unified diff