From 4c9a7a42a64b7aae1523eacc480bd9382eaac2ec Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?C=C3=A9dric=20Pasteur?= <cedric.pasteur@ens.fr>
Date: Tue, 4 Oct 2011 13:51:36 +0200
Subject: [PATCH] Fixed linearity annotations

This is a bug in the compiler. It should not
be accepted.
---
 examples/MC_memalloc/mc.ept | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/examples/MC_memalloc/mc.ept b/examples/MC_memalloc/mc.ept
index ff4251d..6c14418 100644
--- a/examples/MC_memalloc/mc.ept
+++ b/examples/MC_memalloc/mc.ept
@@ -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)