From 73aa8e4377ccd883d2856edd51827414941c45fb Mon Sep 17 00:00:00 2001
From: Yishuai Li <yishuai@upenn.edu>
Date: Mon, 8 Jul 2019 15:51:43 -0400
Subject: [PATCH] RawChar: Blacklist List

---
 src/IO_RawChar.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/IO_RawChar.v b/src/IO_RawChar.v
index 8154d4b..77028cd 100644
--- a/src/IO_RawChar.v
+++ b/src/IO_RawChar.v
@@ -20,7 +20,7 @@ From SimpleIO Require Import
      IO_Monad
      IO_Stdlib.
 
-Extraction Blacklist Bytes Pervasives String .
+Extraction Blacklist Bytes List Pervasives String .
 (* end hide *)
 
 (** * Conversions *)