Changeset 816 for src/Cminor/test/factorial.ma
- Timestamp:
- May 19, 2011, 3:06:42 PM (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/Cminor/test/factorial.ma
r768 r816 20 20 St_cost C_cost2 ( 21 21 St_seq ( 22 St_call (Some ? id_main_i) (Cst (Oaddrsymbol id_get_input (repr 0))) [] (mk_signature [] (Some ? ASTint))22 St_call (Some ? id_main_i) (Cst (Oaddrsymbol id_get_input (repr 0))) [] 23 23 ) ( 24 24 St_seq (
Note: See TracChangeset
for help on using the changeset viewer.