Update core/src/term/pattern/compile.rs

Co-authored-by: jneem <joeneeman@gmail.com>
tweag · Feb 15, 2024 · e6f687c · e6f687c
1 parent 67d24e3
commit e6f687c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/core/src/term/pattern/compile.rs b/core/src/term/pattern/compile.rs
@@ -28,7 +28,7 @@ use crate::{
     term::{make, BinaryOp, MatchData, RecordExtKind, RecordOpKind, RichTerm, Term, UnaryOp},
 };
 
-/// Generate a standard `%record_insert` primop as generated by the parser.
+/// Generate a standard `%record_insert%` primop as generated by the parser.
 fn record_insert() -> BinaryOp {
     BinaryOp::DynExtend {
         ext_kind: RecordExtKind::WithValue,