diff options
Diffstat (limited to 'kernel/cbytecodes.ml')
-rw-r--r-- | kernel/cbytecodes.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/cbytecodes.ml b/kernel/cbytecodes.ml index 0d4a246a0..499554746 100644 --- a/kernel/cbytecodes.ml +++ b/kernel/cbytecodes.ml @@ -90,7 +90,7 @@ let rec instruction ppf = function print_string " bodies = "; Array.iter (fun lbl -> fprintf ppf " %i" lbl) lblb; (* nb fv, init, lbl types, lbl bodies *) - | Kgetglobal id -> fprintf ppf "\tgetglobal %s" (Names.string_of_kn id) + | Kgetglobal id -> fprintf ppf "\tgetglobal %s" (Names.string_of_con id) | Kconst cst -> fprintf ppf "\tconst" | Kmakeblock(n, m) -> |