From 8fa20fb6701a380835eed29770aafd3f087ebad8 Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Wed, 1 Apr 2015 12:17:20 +0200 Subject: Print all files ever encountered in the filenum. --- debug/CtoDwarf.ml | 1 + 1 file changed, 1 insertion(+) (limited to 'debug') diff --git a/debug/CtoDwarf.ml b/debug/CtoDwarf.ml index b723a559..b1eea8f3 100644 --- a/debug/CtoDwarf.ml +++ b/debug/CtoDwarf.ml @@ -459,6 +459,7 @@ let union_to_dwarf (n,at,m) env gloc = (* Translate global declarations to there dwarf representation *) let globdecl_to_dwarf env (typs,decls) decl = + PrintAnnot.add_file (fst decl.gloc); match decl.gdesc with | Gtypedef (n,t) -> let ret = typedef_to_dwarf (n,t) decl.gloc in typs@ret,decls -- cgit