Changeset 2835 for src


Ignore:
Timestamp:
Mar 8, 2013, 11:54:35 PM (7 years ago)
Author:
sacerdot
Message:

Included Uses.ma which is required by the untrusted code.
The inclusion in the .ma file forces compilation and code extraction.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/compiler.ma

    r2828 r2835  
    7373
    7474(* The compiler back-end *)
     75include "ERTLptr/Uses.ma".  (* Included by the untrusted code *)
    7576axiom compute_fixpoint : fixpoint_computer.
    7677axiom colour_graph : coloured_graph_computer.
Note: See TracChangeset for help on using the changeset viewer.