Project

General

Profile

Revision f4cba4b8 src/machine_code_common.ml

View differences:

src/machine_code_common.ml
105 105
    (Utils.fprintf_list ~sep:"@ " (pp_instr m)) m.minit
106 106
    (Utils.fprintf_list ~sep:"@ " (pp_instr m)) m.mconst
107 107
    (pp_step m) m.mstep
108
    (fun fmt -> match m.mspec with | None -> () | Some spec -> Printers.pp_spec fmt spec)
108
    (fun fmt -> match m.mspec with | None -> ()
109
                                   | Some (NodeSpec id) -> Format.fprintf fmt "cocospec: %s" id
110
                                   | Some (Contract spec) -> Printers.pp_spec fmt spec)
109 111
    (Utils.fprintf_list ~sep:"@ " Printers.pp_expr_annot) m.mannot
110 112

  
111 113
let pp_machines fmt ml =
......
190 192
    node_dec_stateless = true;
191 193
    node_stateless = Some true;
192 194
    node_spec = None;
193
    node_annot = [];  }
195
    node_annot = [];
196
    node_iscontract = false;
197
}
194 198

  
195 199
let empty_machine =
196 200
  {

Also available in: Unified diff