We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 53f7d7f commit 534324aCopy full SHA for 534324a
src/fresh_macro.rs
@@ -40,7 +40,7 @@ fn desugar_fresh_rule(
40
symbol_gen: &mut SymbolGen,
41
type_info: &TypeInfo,
42
) -> Result<Vec<Command>, Error> {
43
- // Collect fresh! sorts from actions
+ // Collect unstable-fresh! sorts from actions
44
let fresh_sorts = collect_fresh_sorts(&rule.head.0);
45
if fresh_sorts.is_empty() {
46
return Ok(vec![Command::Rule { rule }]);
0 commit comments