From 5b7045c2ea8065dd70273404d30025395328a399 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Mon, 6 Feb 2017 13:44:21 +0100
Subject: Remove unused open.

---
 arm/TargetPrinter.ml | 1 -
 1 file changed, 1 deletion(-)

(limited to 'arm/TargetPrinter.ml')

diff --git a/arm/TargetPrinter.ml b/arm/TargetPrinter.ml
index cb379f26..6f1cb6c1 100644
--- a/arm/TargetPrinter.ml
+++ b/arm/TargetPrinter.ml
@@ -13,7 +13,6 @@
 (* Printing ARM assembly code in asm syntax *)
 
 open Printf
-open !Datatypes
 open Camlcoq
 open Sections
 open AST
-- 
cgit