* http://helm.cs.unibo.it/
*)
+(* $Id$ *)
+
exception IncludedFileNotCompiled of string (* file name *)
exception MetadataNotFound of string (* file name *)
| LibraryNoDb.Dependency buri ->
if List.exists (LibraryNoDb.eq_metadata m) metadata
then acc
- else m :: acc
- | _ -> m :: acc)
+ else m :: acc)
metadata new_metadata
in
{ status with metadata = metadata' }