diff options
Diffstat (limited to 'kernel/cbytecodes.ml')
| -rw-r--r-- | kernel/cbytecodes.ml | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/kernel/cbytecodes.ml b/kernel/cbytecodes.ml index 84d04d67e..ceba6e82a 100644 --- a/kernel/cbytecodes.ml +++ b/kernel/cbytecodes.ml @@ -235,7 +235,3 @@ type block = let draw_instr c = fprintf std_formatter "@[<v 0>%a@]" instruction_list c - -let string_of_instr c = - fprintf str_formatter "@[<v 0>%a@]" instruction_list c; - flush_str_formatter () |