Replace references to "global tag" with "tag"

This commit is contained in:
Richard Feldman 2022-04-25 15:46:32 -04:00
parent 470dddc17b
commit 85e7969c2d
No known key found for this signature in database
GPG key ID: 7E4127D1E4241798
61 changed files with 229 additions and 230 deletions

View file

@ -88,7 +88,7 @@ pub fn expr2_to_markup<'a>(
mark_id_ast_id_map,
)
}
Expr2::GlobalTag { name, .. } => new_markup_node(
Expr2::Tag { name, .. } => new_markup_node(
with_indent(indent_level, &get_string(env, name)),
ast_node_id,
HighlightStyle::Type,