Corrected what appeared to be a small bug in defineNonce

2007-08-22 10:55:57 +00:00 · 2007-08-22 10:55:57 +00:00 · 017cb51bd8
commit 017cb51bd8
parent 262913fabd
1 changed files with 1 additions and 1 deletions
--- a/CompState.hs
+++ b/CompState.hs
@ -214,7 +214,7 @@ makeNonce s
 defineNonce :: CSM m => Meta -> String -> A.SpecType -> A.NameType -> A.AbbrevMode -> m A.Specification
 defineNonce m s st nt am
    =  do ns <- makeNonce s
-          let n = A.Name m A.ProcName ns
+          let n = A.Name m nt ns
          let nd = A.NameDef {
                     A.ndMeta = m,
                     A.ndName = ns,