Changeset 2952 for src/ERTLptr/ERTLptr.ma
- Timestamp:
- Mar 26, 2013, 2:01:15 PM (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/ERTLptr/ERTLptr.ma
r2946 r2952 68 68 res in 69 69 let res ≝ add_graph … l2 70 (sequential … (CALL ERTLptr ? (inl … (prog_main … p)) 4it) l3)70 (sequential … (CALL ERTLptr ? (inl … (prog_main … p)) 0 it) l3) 71 71 res in 72 72 let res ≝ add_graph … l3
Note: See TracChangeset
for help on using the changeset viewer.