Project

General

Profile

« Previous | Next » 

Revision 808da3ff

Added by Guillaume DAVY over 5 years ago

Ada: Correct state print for variable assignement

View differences:

src/backends/Ada/ada_backend_adb.ml
30 30
   **)
31 31
  let pp_basic_assign m fmt var_name value =
32 32
    fprintf fmt "%a := %a"
33
      pp_var_name var_name
33
      (pp_access_var m) var_name
34 34
      (pp_value m) value
35 35

  
36 36
  (** Printing function for assignement. For the moment, only use

Also available in: Unified diff