diff --git a/generator/stdlib_ml/stdlib.mli b/generator/stdlib_ml/stdlib.mli
index 3ab8fa9528396c350f43050becd91cc3db3658d1..34aeb5d1d1f38b6425cdba76205f441888063ca5 100644
--- a/generator/stdlib_ml/stdlib.mli
+++ b/generator/stdlib_ml/stdlib.mli
@@ -86,12 +86,6 @@ module Int64 : sig
   val float_of_bits : int64 -> float
 end
 
-(* This may be awkward! *)
-module Lazy : sig
-  type 'a t
-  val force : 'a t -> 'a (* ARTHUR added *)
-end
-
 module List : sig
   val map : ('a -> 'b) -> 'a list -> 'b list
   val rev : 'a list -> 'a list
diff --git a/generator/tests/jsref/JsCommon.ml b/generator/tests/jsref/JsCommon.ml
index 8c8b346de0172bb5a96105d497f82c899678dc8b..8ed80b09654bedefd400be6809ea02f9d9704a17 100644
--- a/generator/tests/jsref/JsCommon.ml
+++ b/generator/tests/jsref/JsCommon.ml
@@ -6,7 +6,6 @@ open JsSyntaxAux
 open LibList
 open LibNat
 open LibOption
-open LibStream
 open LibString
 open List0
 open Shared
diff --git a/generator/tests/jsref/JsInit.ml b/generator/tests/jsref/JsInit.ml
index 91b3f8af2e26d91b3300d7858ba2c316b88c5766..a218c6cccce4b465fcd82284970fdf8ffd6022ef 100644
--- a/generator/tests/jsref/JsInit.ml
+++ b/generator/tests/jsref/JsInit.ml
@@ -4,9 +4,8 @@ open JsPreliminary
 open JsSyntax
 open JsSyntaxAux
 open LibInt
-open LibStream
 
-(** val prop_attributes_for_global_object : value -> attributes_data **)
+(** Val prop_attributes_for_global_object : value -> attributes_data **)
 
 let prop_attributes_for_global_object v =
   { attributes_data_value = v; attributes_data_writable = true;
diff --git a/generator/tests/jsref/JsSyntax.ml b/generator/tests/jsref/JsSyntax.ml
index 90952b1b53a70d4933bd755df9bc61e9a88b13d3..541bbb9d939f9a584376bf31f075d3ab27e8998e 100644
--- a/generator/tests/jsref/JsSyntax.ml
+++ b/generator/tests/jsref/JsSyntax.ml
@@ -1,7 +1,6 @@
 open JsNumber
 open LibHeap
 open LibReflect
-open LibStream
 open Shared
 
 module Heap = HeapGen(HeapList)
diff --git a/generator/tests/jsref/LibStream.ml b/generator/tests/jsref/LibStream.ml
deleted file mode 100644
index bca633de85c9df9c0ae32c17b403d58055beda37..0000000000000000000000000000000000000000
--- a/generator/tests/jsref/LibStream.ml
+++ /dev/null
@@ -1,4 +0,0 @@
-type 'a stream = 'a __stream Lazy.t
-and 'a __stream =
-| Coq_stream_intro  [@f label0, label1] of 'a * 'a stream (** Auto Generated Attributes **)
-