From d3eba50731c23546c6e9ccb14230460fc1da592e Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Tue, 27 Aug 2019 12:08:03 +0200
Subject: Compatibility for OCaml 4.08.1

---
 arm/Asmexpand.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'arm')

diff --git a/arm/Asmexpand.ml b/arm/Asmexpand.ml
index a4ec0c5d..89aab5c7 100644
--- a/arm/Asmexpand.ml
+++ b/arm/Asmexpand.ml
@@ -18,7 +18,7 @@ open Asm
 open Asmexpandaux
 open AST
 open Camlcoq
-open Integers
+open! Integers
 
 exception Error of string
 
-- 
cgit