From 1cf9dfff0ee3e4791631c3b2cd92bf90eb719dbb Mon Sep 17 00:00:00 2001
From: Neil Brown <neil@twistedsquare.com>
Date: Thu, 13 Nov 2008 13:02:09 +0000
Subject: [PATCH] Implemented getDecl, although it returns a name for all
 specifications (including typedefs and processes)

---
 checks/UsageCheckUtils.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/checks/UsageCheckUtils.hs b/checks/UsageCheckUtils.hs
index 48c9f16..8b0c005 100644
--- a/checks/UsageCheckUtils.hs
+++ b/checks/UsageCheckUtils.hs
@@ -227,7 +227,7 @@ getVarSpec (A.Specification _ n st) = get st
       (Just $ A.ExprVariable (findMeta v) v)
 
 getDecl :: (String -> Decl) -> A.Specification -> Maybe Decl
-getDecl _ _ = Nothing -- TODO
+getDecl f (A.Specification _ name _) = Just $ f (A.nameName name)
 
 getVarFormals :: Meta -> [A.Formal] -> Vars
 getVarFormals m = mapUnionVars (getVarFormal m)