From 6ff8e3b163295c70d67d985eafcf64522cf360a1 Mon Sep 17 00:00:00 2001
From: Neil Brown <neil@twistedsquare.com>
Date: Wed, 28 Jan 2009 22:11:23 +0000
Subject: [PATCH] Fixed a bug where records were being recorded with the wrong
 name type in the occam parser

---
 frontends/ParseOccam.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/frontends/ParseOccam.hs b/frontends/ParseOccam.hs
index 6eb2567..c997ccb 100644
--- a/frontends/ParseOccam.hs
+++ b/frontends/ParseOccam.hs
@@ -1060,7 +1060,7 @@ definition
            sDATA
            sTYPE
            do { n <- tryVX newDataTypeName sIS; t <- dataType; sColon; eol; return (A.Specification m n (A.DataType m t), DataTypeName) }
-             <|> do { n <- newRecordName; eol; indent; rec <- structuredType; outdent; sColon; eol; return (A.Specification m n rec, DataTypeName) }
+             <|> do { n <- newRecordName; eol; indent; rec <- structuredType; outdent; sColon; eol; return (A.Specification m n rec, RecordName) }
     <|> do m <- md
            sPROTOCOL
            n <- newProtocolName