Changeset 2797 for extracted/blocks.ml


Ignore:
Timestamp:
Mar 7, 2013, 12:55:34 PM (7 years ago)
Author:
sacerdot
Message:

Extracted again after James's cleanup and the implementation of the
new testing function to be used in the untrusted code.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/blocks.ml

    r2773 r2797  
    149149  | Types.None ->
    150150    { Types.fst = { Types.fst = List.Nil; Types.snd = (fun x ->
    151       Joint.Step_seq (Joint.nOOP (Joint.stmt_pars__o__uns_pars p) g)) };
     151      Joint.Step_seq
     152      (Joint.nOOP (Joint.stmt_pars__o__uns_pars__o__u_pars p) g)) };
    152153      Types.snd = List.Nil }
    153154  | Types.Some pr ->
Note: See TracChangeset for help on using the changeset viewer.