jeltz/heptagon
1
0
Fork 0
Code Issues Pull requests Releases Activity

Fixed linearity annotations

Browse source 
This is a bug in the compiler. It should not 
be accepted.
This commit is contained in:
Cédric Pasteur 2011-10-04 13:51:36 +02:00
parent 5e39091321
commit 4c9a7a42a6
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
examples/MC_memalloc/mc.ept
View file

@ -389,7 +389,9 @@ fun prio_setpriorityinmissiontrack(prioritytracknumber : int;
priorityindex : int;
missiontrack : TypeTracks.tmissiontrack at r)
returns (missiontrackwithprio : TypeTracks.tmissiontrack at r)
var missiontrack_copy : TypeTracks.tmissiontrack;
let
missiontrack_copy = missiontrack;
missiontrackwithprio =
if prioritytracknumber = missiontrack.m_tracknumber
then Trackslib.setmissiontrackpriority(missiontrack, priorityindex + 1)