@@ -1130,7 +1130,8 @@ registerHeader (ident,classes,kvs) header' = do
1130 updateState $ updateHeaderMap $ insert' header' id'
1130 updateState $ updateHeaderMap $ insert' header' id'
1131 return (id'',classes,kvs)
1131 return (id'',classes,kvs)
1133− unless (null ident) $
1133+ unless (null ident) $ do
1134+ updateState $ updateIdentifierList $ Set.insert ident
1134 updateState $ updateHeaderMap $ insert' header' ident
1135 updateState $ updateHeaderMap $ insert' header' ident
1135 return (ident,classes,kvs)
1136 return (ident,classes,kvs)