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 /arm | |
| 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 'arm')
| -rw-r--r-- | arm/AsmToJSON.ml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/arm/AsmToJSON.ml b/arm/AsmToJSON.ml index bb0c0c04..c895bfb2 100644 --- a/arm/AsmToJSON.ml +++ b/arm/AsmToJSON.ml @@ -14,5 +14,4 @@ (* Dummy function *) -let p_program oc prog = - () +let p_program _ _ = () |