From ed50169fa51b8a9cfdbf65380348f6a02909d9d7 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Fri, 11 Sep 2015 10:43:30 +0200
Subject: Started implementing the types needed for storing the debug
 information.

---
 debug/CtoDwarf.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'debug/CtoDwarf.ml')

diff --git a/debug/CtoDwarf.ml b/debug/CtoDwarf.ml
index 063b0823..f1e2aea6 100644
--- a/debug/CtoDwarf.ml
+++ b/debug/CtoDwarf.ml
@@ -19,7 +19,7 @@ open DwarfTypes
 open DwarfUtil
 open Env
 open Set
-
+open DebugInformation
 (* Functions to translate a C Ast into Dwarf 2 debugging information *)
 
 
-- 
cgit