diff --git a/backends/GenerateC.hs b/backends/GenerateC.hs
index 05f0ac6..fcd99f8 100644
--- a/backends/GenerateC.hs
+++ b/backends/GenerateC.hs
@@ -716,6 +716,7 @@ cgenVariable' ops checkValid v
     -- treat c->x as if it's just x).
     accessAbbrevMode :: A.Variable -> CGen A.AbbrevMode
     accessAbbrevMode (A.Variable _ n) = abbrevModeOfName n
+    accessAbbrevMode (A.DirectedVariable _ _ v) = accessAbbrevMode v
     accessAbbrevMode (A.SubscriptedVariable _ sub v)
         =  do am <- accessAbbrevMode v
               return $ case (am, sub) of
diff --git a/backends/GenerateCPPCSP.hs b/backends/GenerateCPPCSP.hs
index b3c1bba..6455c85 100644
--- a/backends/GenerateCPPCSP.hs
+++ b/backends/GenerateCPPCSP.hs
@@ -1266,6 +1266,7 @@ cppgenVariable' ops checkValid v
      -- treat c->x as if it's just x).
      accessAbbrevMode :: A.Variable -> CGen A.AbbrevMode
      accessAbbrevMode (A.Variable _ n) = abbrevModeOfName n
+     accessAbbrevMode (A.DirectedVariable _ _ v) = accessAbbrevMode v
      accessAbbrevMode (A.SubscriptedVariable _ sub v)
          =  do am <- accessAbbrevMode v
                return $ case (am, sub) of