diff options
Diffstat (limited to 'stdlib')
| -rw-r--r-- | stdlib/.depend | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/.depend b/stdlib/.depend index 335421b8f..766b0d23e 100644 --- a/stdlib/.depend +++ b/stdlib/.depend @@ -14,12 +14,12 @@ char.cmo: char.cmi char.cmx: char.cmi digest.cmo: string.cmi digest.cmi digest.cmx: string.cmx digest.cmi -filename.cmo: pervasives.cmi string.cmi sys.cmi filename.cmi -filename.cmx: pervasives.cmx string.cmx sys.cmx filename.cmi +filename.cmo: buffer.cmi pervasives.cmi string.cmi sys.cmi filename.cmi +filename.cmx: buffer.cmx pervasives.cmx string.cmx sys.cmx filename.cmi format.cmo: buffer.cmi obj.cmi string.cmi format.cmi format.cmx: buffer.cmx obj.cmx string.cmx format.cmi -gc.cmo: printf.cmi gc.cmi -gc.cmx: printf.cmx gc.cmi +gc.cmo: printf.cmi sys.cmi gc.cmi +gc.cmx: printf.cmx sys.cmx gc.cmi genlex.cmo: char.cmi hashtbl.cmi list.cmi stream.cmi string.cmi genlex.cmi genlex.cmx: char.cmx hashtbl.cmx list.cmx stream.cmx string.cmx genlex.cmi hashtbl.cmo: array.cmi sys.cmi hashtbl.cmi @@ -50,8 +50,8 @@ printf.cmo: buffer.cmi obj.cmi string.cmi printf.cmi printf.cmx: buffer.cmx obj.cmx string.cmx printf.cmi queue.cmo: queue.cmi queue.cmx: queue.cmi -random.cmo: array.cmi char.cmi digest.cmi string.cmi sys.cmi random.cmi -random.cmx: array.cmx char.cmx digest.cmx string.cmx sys.cmx random.cmi +random.cmo: array.cmi char.cmi digest.cmi string.cmi random.cmi +random.cmx: array.cmx char.cmx digest.cmx string.cmx random.cmi set.cmo: set.cmi set.cmx: set.cmi sort.cmo: array.cmi sort.cmi |