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