Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000032OCamlOCaml generalpublic2000-01-25 10:542000-02-07 15:11
Reporteradministrator 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000032: Bug in List.rev_map2
DescriptionFull_Name: Benjamin Pierce
Version:
OS:
Submission from: estephe.inria.fr (128.93.11.95)
Submitted by: xleroy


I believe the third [] should be accu.
  
  B

TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0000303)
administrator (administrator)
2000-01-25 14:20

>I believe the third [] should be accu.

That's right. Thanks for the bug report.

-- Damien
(0000304)
administrator (administrator)
2000-02-07 15:11

Fixed in 3.00

- Issue History
Date Modified Username Field Change
2005-11-18 10:13 administrator New Issue


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker