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
---
 x86/AsmToJSON.ml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'x86/AsmToJSON.ml')

diff --git a/x86/AsmToJSON.ml b/x86/AsmToJSON.ml
index ca18999a..8488bfde 100644
--- a/x86/AsmToJSON.ml
+++ b/x86/AsmToJSON.ml
@@ -15,3 +15,5 @@
 (* Dummy function *)
 let pp_program pp prog =
   Format.fprintf pp "null"
+
+let pp_mnemonics pp = ()
-- 
cgit