Changeset 3041


Ignore:
Timestamp:
Mar 29, 2013, 6:18:38 PM (8 years ago)
Author:
sacerdot
Message:

Repaired

File:
1 edited

Legend:

Unmodified
Added
Removed

  • src/joint/Traces.ma

    r3014 r3041  
    1616definition joint_make_global : ∀p : prog_params.evaluation_params (prog_spars p) ≝
    1717λp.mk_evaluation_params ?
    18   (prog_var_names … (prog p))
     18  (prog_names … (prog p))
    1919  (joint_globalenv p (prog p) (stack_sizes p)).
    2020
Note: See TracChangeset for help on using the changeset viewer.