From c0da0f3a550887c84982722c3b9596f03dc97e61 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Mon, 25 Sep 2017 17:37:14 +0200
Subject: Added dump-mnemonics option.

This option allows it to dump a list of all used mnemonics into
a file.
Bug 22239
---
 arm/AsmToJSON.ml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'arm/AsmToJSON.ml')

diff --git a/arm/AsmToJSON.ml b/arm/AsmToJSON.ml
index 73706d3b..74c64180 100644
--- a/arm/AsmToJSON.ml
+++ b/arm/AsmToJSON.ml
@@ -16,3 +16,5 @@
 
 let pp_program pp prog =
   Format.fprintf pp "null"
+
+let pp_mnemonics pp = ()
-- 
cgit