From de24549f572deb6519be2216ef364b7c80bfdece Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Wed, 8 Mar 2017 12:18:36 +0100
Subject: Added missing dltl to dall.

---
 driver/Driver.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'driver/Driver.ml')

diff --git a/driver/Driver.ml b/driver/Driver.ml
index b68331a6..48bd9034 100644
--- a/driver/Driver.ml
+++ b/driver/Driver.ml
@@ -374,6 +374,7 @@ let cmdline_actions =
     option_dclight := true;
     option_dcminor := true;
     option_drtl := true;
+    option_dltl := true;
     option_dalloctrace := true;
     option_dmach := true;
     option_dasm := true);
-- 
cgit