Changeset 2270 for src/ASM


Ignore:
Timestamp:
Jul 26, 2012, 3:57:30 PM (7 years ago)
Author:
mulligan
Message:

Bug spotted and fixed in write_at_stack_pointer

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/Status.ma

    r2264 r2270  
    736736      if bit_zero then
    737737        let memory ≝ insert … ([[ bit_1 ; bit_2 ; bit_3 ]] @@ nl)
    738                               v (low_internal_ram ?? s) in
    739           set_low_internal_ram ?? s memory
     738                              v (high_internal_ram ?? s) in
     739          set_high_internal_ram ?? s memory
    740740      else
    741741        let memory ≝ insert … ([[ bit_1 ; bit_2 ; bit_3 ]] @@ nl)
    742                               v (high_internal_ram ?? s) in
    743           set_high_internal_ram ?? s memory.
     742                              v (low_internal_ram ?? s) in
     743          set_low_internal_ram ?? s memory.
    744744  [1,2,3,4:
    745745     normalize
Note: See TracChangeset for help on using the changeset viewer.