Changeset 1091 for Deliverables/D3.3/id-lookup-branch/RTL/RTL.ma

Timestamp:

Jul 28, 2011, 12:14:17 PM (10 years ago)

Author:

campbell

Message:

Merge trunk into id-lookup-branch

Location:

Deliverables/D3.3/id-lookup-branch

Files:

• . (modified) (1 prop)
• RTL/RTL.ma (modified) (1 diff)

Deliverables/D3.3/id-lookup-branch/RTL/RTL.ma

@@ -26 +26 @@
   | rtl_st_cond: register → label → label → rtl_statement
   | rtl_st_set_carry: label → rtl_statement
-  | rtl_st_return: rtl_statement. (* XXX: change from o'caml *)
+  | rtl_st_return: label → rtl_statement.
   
 definition rtl_statement_graph ≝ graph rtl_statement.