Changeset 1919 for src/ASM/CostsProof.ma


Ignore:
Timestamp:
May 7, 2012, 11:12:13 AM (8 years ago)
Author:
mulligan
Message:

Fixes to get everything compiling again

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/CostsProof.ma

    r1910 r1919  
    677677        cases (block_cost ? ? ? ? ? ?)
    678678        #cost -block_cost_assm #block_cost_assm
    679         cases (block_cost_assm ? ? ? trace_any_label (refl …)) %
     679        cases (block_cost_assm ? ? ? trace_any_label ? (refl …))
     680        try % (* XXX: assumption about length of trace *) cases daemon
    680681      ]
    681682    ]
Note: See TracChangeset for help on using the changeset viewer.