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 *)