[Bug 521324] cil.mli is missing from ocaml-cil-devel

[Red Hat Bugzilla]

Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug.

https://bugzilla.redhat.com/show_bug.cgi?id=521324

Richard W.M. Jones  changed:

What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |CLOSED
         Resolution|                            |RAWHIDE

--- Comment #3 from Richard W.M. Jones   2009-10-23 04:28:59 EDT ---
I made the suggested changes in the new F13 build here:

http://koji.fedoraproject.org/koji/taskinfo?taskID=1764205