From 361458ae5dbe8414b5a7ba1bc51ece8ebcfd5bc5 Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Tue, 5 Mar 2019 10:38:55 +0000
Subject: Coq 8.9 compatibility fix

---
 lib/coq/Sail2_string.v | 1 +
 1 file changed, 1 insertion(+)

(limited to 'lib')

diff --git a/lib/coq/Sail2_string.v b/lib/coq/Sail2_string.v
index 543b0fad..a0a23933 100644
--- a/lib/coq/Sail2_string.v
+++ b/lib/coq/Sail2_string.v
@@ -1,4 +1,5 @@
 Require Import Sail2_values.
+Require Import Coq.Strings.Ascii.
 
 Definition string_sub (s : string) (start : Z) (len : Z) : string :=
   String.substring (Z.to_nat start) (Z.to_nat len) s.
-- 
cgit v1.2.3