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 ++
 x86/AsmToJSON.mli | 2 ++
 2 files changed, 4 insertions(+)

(limited to 'x86')

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 = ()
diff --git a/x86/AsmToJSON.mli b/x86/AsmToJSON.mli
index e4d9c39a..058a4e83 100644
--- a/x86/AsmToJSON.mli
+++ b/x86/AsmToJSON.mli
@@ -11,3 +11,5 @@
 (* *********************************************************************)
 
 val pp_program: Format.formatter -> (Asm.coq_function AST.fundef, 'a) AST.program -> unit
+
+val pp_mnemonics: Format.formatter -> unit
-- 
cgit