Changeset 2270 for src/ASM/Status.ma

Timestamp:

Jul 26, 2012, 3:57:30 PM (9 years ago)

Author:

mulligan

Message:

Bug spotted and fixed in write_at_stack_pointer

File:

• src/ASM/Status.ma (modified) (1 diff)

src/ASM/Status.ma

@@ -736 +736 @@
       if bit_zero then
         let memory ≝ insert … ([[ bit_1 ; bit_2 ; bit_3 ]] @@ nl)
-                              v (low_internal_ram ?? s) in
-          set_low_internal_ram ?? s memory
+                              v (high_internal_ram ?? s) in
+          set_high_internal_ram ?? s memory
       else
         let memory ≝ insert … ([[ bit_1 ; bit_2 ; bit_3 ]] @@ nl)
-                              v (high_internal_ram ?? s) in
-          set_high_internal_ram ?? s memory.
+                              v (low_internal_ram ?? s) in
+          set_low_internal_ram ?? s memory.
   [1,2,3,4:
      normalize