From d37fb8ea9f824278f058b1a01f272335df3645e3 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Fri, 17 Oct 2014 13:20:29 +0200
Subject: Removed duplicated open.

---
 checklink/Check.ml | 1 -
 1 file changed, 1 deletion(-)

(limited to 'checklink')

diff --git a/checklink/Check.ml b/checklink/Check.ml
index f175f16b..c9842f40 100644
--- a/checklink/Check.ml
+++ b/checklink/Check.ml
@@ -1,4 +1,3 @@
-open Camlcoq
 open Asm
 open Asm_printers
 open AST
-- 
cgit