Changeset 2746 for extracted/policy.ml


Ignore:
Timestamp:
Feb 27, 2013, 10:46:33 PM (7 years ago)
Author:
sacerdot
Message:
  1. debugging code in glue
  2. updated version
File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/policy.ml

    r2717 r2746  
    101101   | Nat.S m ->
    102102     (fun _ ->
    103        (let { Types.fst = no_ch; Types.snd = z } =
    104           Types.pi1 (jump_expansion_internal program0 m)
    105         in
     103       let res1 = Types.pi1 (jump_expansion_internal program0 m) in
     104       (let { Types.fst = no_ch; Types.snd = z } = res1 in
    106105       (fun _ ->
    107106       (match z with
     
    111110          (fun _ ->
    112111            match no_ch with
    113             | Bool.True -> Types.pi1 (jump_expansion_internal program0 m)
     112            | Bool.True -> res1
    114113            | Bool.False ->
    115114              Types.pi1
Note: See TracChangeset for help on using the changeset viewer.