Ignore:
Timestamp:
Feb 24, 2012, 2:04:19 PM (8 years ago)
Author:
boender
Message:
  • small change
File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D1.2/CompilerProofOutline/outline.tex

    r1735 r1737  
    497497
    498498\begin{displaymath}
    499 \mathtt{CALL} id \mapsto \mathtt{set\_params}; \mathtt{CALL} id; \mathtt{fetch\_result}
     499\mathtt{CALL}\ id \mapsto \mathtt{set\_params}; \mathtt{CALL} id; \mathtt{fetch\_result}
    500500\end{displaymath}
    501501
Note: See TracChangeset for help on using the changeset viewer.