Merge branch 'working'

[lambda.git] / code / juli8.ml

diff --git a/code/juli8.ml b/code/juli8.ml
index f8f9cb3..821a09f 100644 (file)
--- a/code/juli8.ml
+++ b/code/juli8.ml
@@ -1519,3 +1519,5 @@ module Juli8 = struct
 end (* Juli8 *)
 
 open Juli8
+
+#use "monad.ml"