Changeset 3018


Ignore:
Timestamp:
Mar 28, 2013, 5:27:26 PM (4 years ago)
Author:
sacerdot
Message:

1) some files repaired
2) all stuff related to the aborted pass ERTLptr (now merged with

ERTLToLTL) moved into the ERTLptr directory (no longer used/linked)

Location:
src
Files:
1 edited
4 moved

Legend:

Unmodified
Added
Removed
  • src/compiler.ma

    r3014 r3018  
    7878
    7979(* The compiler back-end *)
    80 include "ERTLptr/uses.ma".  (* Included by the untrusted code *)
     80include "ERTL/uses.ma".  (* Included by the untrusted code *)
    8181axiom compute_fixpoint : fixpoint_computer.
    8282axiom colour_graph : coloured_graph_computer.
Note: See TracChangeset for help on using the changeset viewer.