From 8fa20fb6701a380835eed29770aafd3f087ebad8 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Wed, 1 Apr 2015 12:17:20 +0200
Subject: Print all files ever encountered in the filenum.

---
 backend/PrintAnnot.ml | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'backend')

diff --git a/backend/PrintAnnot.ml b/backend/PrintAnnot.ml
index 26f96370..7b0c1083 100644
--- a/backend/PrintAnnot.ml
+++ b/backend/PrintAnnot.ml
@@ -21,6 +21,13 @@ open AST
 open Memdata
 open Asm
 
+(** All files used in the debug entries *)
+module StringSet = Set.Make(String)
+let all_files : StringSet.t ref = ref StringSet.empty
+let add_file file =
+  all_files := StringSet.add file !all_files
+
+
 (** Line number annotations *)
 
 let filename_info : (string, int * Printlines.filebuf option) Hashtbl.t
-- 
cgit