diff --git a/CompState.hs b/CompState.hs
index a1900a0..37b366e 100644
--- 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,