diff options
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |