diff options
Diffstat (limited to 'x86/AsmToJSON.ml')
-rw-r--r-- | x86/AsmToJSON.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/x86/AsmToJSON.ml b/x86/AsmToJSON.ml index 3214491f..ca18999a 100644 --- a/x86/AsmToJSON.ml +++ b/x86/AsmToJSON.ml @@ -13,5 +13,5 @@ (* Simple functions to serialize ia32 Asm to JSON *) (* Dummy function *) -let p_program oc prog = - () +let pp_program pp prog = + Format.fprintf pp "null" |