Changeset 619 for Deliverables/D2.2/8051/src/LIN/LINInterpret.mli

Timestamp:

Mar 2, 2011, 3:27:41 PM (10 years ago)

Author:

ayache

Message:

Update of D2.2 from Paris.

File:

• Deliverables/D2.2/8051/src/LIN/LINInterpret.mli (modified) (1 diff)

Deliverables/D2.2/8051/src/LIN/LINInterpret.mli

@@ -3 +3 @@
     return the trace of cost labels encountered. *)
 
-val interpret: LIN.program -> AST.trace
+val interpret: bool -> LIN.program -> AST.trace