Changeset 2698


Ignore:
Timestamp:
Feb 22, 2013, 1:11:50 PM (6 years ago)
Author:
mckinna
Message:

simplified dependencies

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/Clight/memoryInjections.ma

    r2654 r2698  
    1 include "Clight/Cexec.ma".
     1(*include "Clight/Cexec.ma".*)
    22include "Clight/MemProperties.ma". 
    3 include "Clight/frontend_misc.ma".
     3(*include "Clight/frontend_misc.ma".*)
    44
    55(* This file contains some definitions and lemmas related to memory injections.
Note: See TracChangeset for help on using the changeset viewer.