diff options
Diffstat (limited to 'riscV/AsmToJSON.ml')
-rw-r--r-- | riscV/AsmToJSON.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/riscV/AsmToJSON.ml b/riscV/AsmToJSON.ml index ea22bdab..1b2f7458 100644 --- a/riscV/AsmToJSON.ml +++ b/riscV/AsmToJSON.ml @@ -16,3 +16,5 @@ let pp_program pp prog = Format.fprintf pp "null" + +let pp_mnemonics pp = () |