Changeset 1914 for src/Clight/Csem.ma


Ignore:
Timestamp:
May 3, 2012, 5:53:10 PM (8 years ago)
Author:
campbell
Message:

Fix bug in Clight semantics that misses goto-labels inside a cost label
statement.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/Clight/Csem.ma

    r1874 r1914  
    990990      | inr _ ⇒ find_label lbl s' k
    991991      ]
     992  | Scost c s' ⇒
     993      find_label lbl s' k
    992994  | _ => None ?
    993995  ]
Note: See TracChangeset for help on using the changeset viewer.