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

---
 powerpc/Asmexpand.ml | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'powerpc')

diff --git a/powerpc/Asmexpand.ml b/powerpc/Asmexpand.ml
index 5ca4c611..704b0aba 100644
--- a/powerpc/Asmexpand.ml
+++ b/powerpc/Asmexpand.ml
@@ -14,7 +14,7 @@
    of the PPC assembly code. *)
 
 open Camlcoq
-open Integers
+open! Integers
 open AST
 open Asm
 open Asmexpandaux
@@ -30,8 +30,8 @@ let eref =
 
 (* Useful constants and helper functions *)
 
-let _0 = Integers.Int.zero
-let _1 = Integers.Int.one
+let _0 = Int.zero
+let _1 = Int.one
 let _2 = coqint_of_camlint 2l
 let _4 = coqint_of_camlint 4l
 let _6 = coqint_of_camlint 6l
@@ -45,7 +45,7 @@ let _m4 = coqint_of_camlint (-4l)
 let _m8 = coqint_of_camlint (-8l)
 let _m16 = coqint_of_camlint (-16l)
 
-let _0L = Integers.Int64.zero
+let _0L = Int64.zero
 let _32L = coqint_of_camlint64 32L
 let _64L = coqint_of_camlint64 64L
 let _m1L = coqint_of_camlint64 (-1L)
-- 
cgit