diff options
Diffstat (limited to 'x86/AsmToJSON.ml')
| -rw-r--r-- | x86/AsmToJSON.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/x86/AsmToJSON.ml b/x86/AsmToJSON.ml index ca18999a..8488bfde 100644 --- a/x86/AsmToJSON.ml +++ b/x86/AsmToJSON.ml @@ -15,3 +15,5 @@ (* Dummy function *) let pp_program pp prog = Format.fprintf pp "null" + +let pp_mnemonics pp = () |