diff options
| author | Tom Kelly <ctk21@cl.cam.ac.uk> | 2021-10-08 15:31:53 +0100 |
|---|---|---|
| committer | Tom Kelly <ctk21@cl.cam.ac.uk> | 2021-10-08 15:31:53 +0100 |
| commit | 7cffbd64a0e0b59c3b5c432df7234b4a352282e0 (patch) | |
| tree | a7697a82836851a70d7925604c1288794ec1740c /asmcomp/printmach.ml | |
| parent | d1d43b3e38c0648ff561a107e66f44f7e7c7698a (diff) | |
| download | ocaml-7cffbd64a0e0b59c3b5c432df7234b4a352282e0.tar.gz | |
remove multicore nop debugging (reverts ocaml-multicore#384)
Diffstat (limited to 'asmcomp/printmach.ml')
| -rw-r--r-- | asmcomp/printmach.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/asmcomp/printmach.ml b/asmcomp/printmach.ml index 83e8875d3c..f87b329d60 100644 --- a/asmcomp/printmach.ml +++ b/asmcomp/printmach.ml @@ -150,7 +150,6 @@ let operation op arg ppf res = | Iopaque -> fprintf ppf "opaque %a" reg arg.(0) | Ispecific op -> Arch.print_specific_operation reg op ppf arg - | Inop -> fprintf ppf "nop" | Idls_get -> fprintf ppf "dls_get" | Ipoll { return_label } -> fprintf ppf "poll call"; |