From b96122579c7e4dc6e38b0f1caa9bddf9997b49fa Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Fri, 2 Oct 2015 21:27:40 +0200
Subject: Add the forgotten Fileinfo also to arm and ia32 TargetPrinter.ml

---
 ia32/TargetPrinter.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'ia32/TargetPrinter.ml')

diff --git a/ia32/TargetPrinter.ml b/ia32/TargetPrinter.ml
index eba158db..19b4b10a 100644
--- a/ia32/TargetPrinter.ml
+++ b/ia32/TargetPrinter.ml
@@ -20,6 +20,7 @@ open AST
 open Memdata
 open Asm
 open PrintAsmaux
+open Fileinfo
 
 module StringSet = Set.Make(String)
 
-- 
cgit