diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-03-10 19:00:53 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-03-10 19:00:53 +0100 |
| commit | 7a8a7b225321b70d7a4a2ca5f6e1ba811bd378ab (patch) | |
| tree | 0a00e18bda8149dc981f57faec110bb7a5be973d /ia32/AsmToJSON.ml | |
| parent | 5dcf421950d08eacb7fc70b348d4fc153447ce9e (diff) | |
| download | compcert-7a8a7b225321b70d7a4a2ca5f6e1ba811bd378ab.tar.gz compcert-7a8a7b225321b70d7a4a2ca5f6e1ba811bd378ab.zip | |
Clean up of ia32 target dependend code.
Removed some unused functions and opens.
Bug 18394
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 _ _ = () |