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

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

(limited to 'arm')

diff --git a/arm/TargetPrinter.ml b/arm/TargetPrinter.ml
index 8ba2818e..fc11f649 100644
--- a/arm/TargetPrinter.ml
+++ b/arm/TargetPrinter.ml
@@ -20,6 +20,7 @@ open AST
 open Memdata
 open Asm
 open PrintAsmaux
+open Fileinfo
 
 (* Type for the ABI versions *)
 type float_abi_type =
-- 
cgit