Changeset 3017


Ignore:
Timestamp:
Mar 28, 2013, 5:05:36 PM (4 years ago)
Author:
sacerdot
Message:

Repaired.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/LIN/LINToASM.ma

    r3016 r3017  
    4747cases p -p * #vars #functs #main #cost_init
    4848#i #H
    49 letin init_val ≝ (〈empty_map ? Word, -(globals_stacksize ??)〉)
     49letin init_val ≝ (〈empty_map ? Word, -(S (globals_stacksize ??))〉)
    5050cut (bool_to_Prop (i ∈ \fst init_val) ∨ bool_to_Prop (i ∈ map … (λx.\fst (\fst x)) vars))
    5151[ %2{H} ] -H
Note: See TracChangeset for help on using the changeset viewer.