Changeset 2844 for extracted


Ignore:
Timestamp:
Mar 11, 2013, 1:28:10 PM (7 years ago)
Author:
piccolo
Message:

Stupid bug fixed

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/eRTLptrToLTL.ml

    r2827 r2844  
    896896        | Joint.SET_CARRY ->
    897897          Blocks.ensure_step_block (Joint.graph_params_to_params LTL.lTL)
    898             globals (List.Cons (Joint.CLEAR_CARRY, List.Nil))
     898            globals (List.Cons (Joint.SET_CARRY, List.Nil))
    899899        | Joint.LOAD (dstr, addr1, addr2) ->
    900900          Blocks.ensure_step_block (Joint.graph_params_to_params LTL.lTL)
Note: See TracChangeset for help on using the changeset viewer.