From 35041fb0949304dcdb6d82687adbaa71bf8224ab Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Sat, 28 May 2016 10:27:01 +0200
Subject: Fixed warning 45 for ExportClight.ml.

---
 exportclight/ExportClight.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'exportclight')

diff --git a/exportclight/ExportClight.ml b/exportclight/ExportClight.ml
index 63f794c5..c4e373c0 100644
--- a/exportclight/ExportClight.ml
+++ b/exportclight/ExportClight.ml
@@ -19,7 +19,7 @@ open Format
 open Camlcoq
 open AST
 open !Ctypes
-open Cop
+open !Cop
 open !Clight
 
 (* Options, lists, pairs *)
-- 
cgit