Project

General

Profile

« Previous | Next » 

Revision e77a0fa5

Added by LĂ©lio Brun over 2 years ago

fix handling of state variables in spec expressions

View differences:

src/backends/C/c_backend_common.mli
121 121
   a printer for variables (typically [pp_c_var_read]), but an offset suffix may
122 122
   be added for array variables *)
123 123
val pp_c_val :
124
  ?indirect:bool ->
124 125
  machine_t ->
125 126
  ident ->
126 127
  (formatter -> var_decl -> unit) ->

Also available in: Unified diff