From 861292a6c5e58b4f78bef207c717b801b3fc1fed Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Sun, 6 Sep 2015 20:32:55 +0200
Subject: Startet implementation of new Debug interface.

Added a new file debug/Debug.ml which will be the interface between for
generating and printing the debuging information. Currently it contains
only the code for the line directived.
---
 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 d1e213e2..9227929b 100644
--- a/ia32/TargetPrinter.ml
+++ b/ia32/TargetPrinter.ml
@@ -20,6 +20,7 @@ open AST
 open Memdata
 open Asm
 open PrintAsmaux
+open Debug
 
 module StringSet = Set.Make(String)
 
-- 
cgit