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_spec.ml
413 413

  
414 414
  let pp_expr ?(test_output = false) m mem fmt = function
415 415
    | Val v ->
416
      let pp = pp_c_val m mem (pp_c_var_read ~test_output m) in
416
      let pp = pp_c_val ~indirect:false m mem (pp_c_var_read ~test_output m) in
417 417
      (if not_var v
418 418
       then if Types.is_bool_type v.value_type
419 419
         then pp_bool_cast pp

Also available in: Unified diff