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