From 88804131288a102a67b9d5b33bafa467a67d161f Mon Sep 17 00:00:00 2001
From: Adam Sampson <ats@offog.org>
Date: Tue, 11 Mar 2008 18:52:35 +0000
Subject: [PATCH] Use TimerAlt rather than Alt. It really ought to pick the
 right one depending on whether there are any timer guards.

---
 backends/GenerateC.hs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/backends/GenerateC.hs b/backends/GenerateC.hs
index 6333bd6..e008c96 100644
--- a/backends/GenerateC.hs
+++ b/backends/GenerateC.hs
@@ -1597,13 +1597,13 @@ cgenAlt isPri s
     =  do id <- csmLift $ makeNonce "alt_id"
           tell ["int ", id, " = 0;\n"]
 
-          tell ["Alt (wptr);\n"]
+          tell ["TimerAlt (wptr);\n"]
           tell ["{\n"]
           genAltEnable id s
           tell ["}\n"]
 
           -- Like occ21, this is always a PRI ALT, so we can use it for both.
-          tell ["AltWait (wptr);\n"]
+          tell ["TimerAltWait (wptr);\n"]
           tell [id, " = 0;\n"]
           tell ["{\n"]
           genAltDisable id s