Changeset 2623


Ignore:
Timestamp:
Feb 6, 2013, 6:39:19 PM (6 years ago)
Author:
campbell
Message:

Name change update.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/correctness.ma

    r2596 r2623  
    3838
    3939
    40 include "Clight/abstract.ma".
     40include "Clight/Clight_abstract.ma".
    4141include "common/Measurable.ma".
    4242
Note: See TracChangeset for help on using the changeset viewer.