summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 9461a078a..eaadaa812 100644
--- a/Makefile
+++ b/Makefile
@@ -88,7 +88,7 @@ EXPUNGEOBJS=utils/misc.cmo utils/tbl.cmo \
typing/predef.cmo bytecomp/runtimedef.cmo bytecomp/symtable.cmo \
toplevel/expunge.cmo
-PERVASIVES=arg array callback char digest filename format gc hashtbl \
+PERVASIVES=arg array callback char digest filename buffer format gc hashtbl \
lexing list map obj parsing pervasives printexc printf queue random \
set sort stack string stream sys oo genlex topdirs toploop weak lazy \
marshal