diff options
Diffstat (limited to 'src/boot/me/semant.ml')
| -rw-r--r-- | src/boot/me/semant.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/boot/me/semant.ml b/src/boot/me/semant.ml index fd7d2709..945155b0 100644 --- a/src/boot/me/semant.ml +++ b/src/boot/me/semant.ml @@ -26,7 +26,7 @@ type glue = | GLUE_sever of Ast.ty (* Null all box state slots. *) | GLUE_mark of Ast.ty (* Mark all box state slots. *) | GLUE_clone of Ast.ty (* Deep copy. *) - | GLUE_compare of Ast.ty + | GLUE_cmp of Ast.ty | GLUE_hash of Ast.ty | GLUE_write of Ast.ty | GLUE_read of Ast.ty @@ -2508,7 +2508,7 @@ let glue_str (cx:ctxt) (g:glue) : string = | GLUE_sever ty -> "glue$sever$" ^ (ty_str cx ty) | GLUE_mark ty -> "glue$mark$" ^ (ty_str cx ty) | GLUE_clone ty -> "glue$clone$" ^ (ty_str cx ty) - | GLUE_compare ty -> "glue$compare$" ^ (ty_str cx ty) + | GLUE_cmp ty -> "glue$cmp$" ^ (ty_str cx ty) | GLUE_hash ty -> "glue$hash$" ^ (ty_str cx ty) | GLUE_write ty -> "glue$write$" ^ (ty_str cx ty) | GLUE_read ty -> "glue$read$" ^ (ty_str cx ty) |