From f8006696b2c4b09c6c67b7bae5a6b09adfb0f589 Mon Sep 17 00:00:00 2001
From: Neil Brown <neil@twistedsquare.com>
Date: Wed, 24 Oct 2007 15:56:02 +0000
Subject: [PATCH] Added a dereferenced mobile item to Variable in the AST

---
 common/AST.hs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/common/AST.hs b/common/AST.hs
index a00ce2b..6906d7c 100644
--- a/common/AST.hs
+++ b/common/AST.hs
@@ -210,6 +210,8 @@ data Variable =
   | SubscriptedVariable Meta Subscript Variable
   -- | A channel-end variable (e.g. @c?@)
   | DirectedVariable Meta Direction Variable
+  -- | A dereferenced mobile variable (e.g. using MOBILE INT as INT)
+  | DerefVariable Meta Variable
   deriving (Show, Eq, Typeable, Data)
 
 -- | An array constructor expression.