- procedural: basic support for lapply (solves a problem in the reconstruction of...

[helm.git] / helm / software / lambda-delta / toplevel / top.ml

diff --git a/helm/software/lambda-delta/toplevel/top.ml b/helm/software/lambda-delta/toplevel/top.ml
index 22bd5cbc7ef4ca103f35c4b2704a9fd3d73da274..1774cc991fe297bbf5c185ed0471b6bbeb671600 100644 (file)
--- a/helm/software/lambda-delta/toplevel/top.ml
+++ b/helm/software/lambda-delta/toplevel/top.ml
@@ -87,7 +87,7 @@ try
            let f st _ = function
               | None           -> st
               | Some (i, u, _) -> 
-(*               Log.warn (P.sprintf "[%u] %s" i (U.string_of_uri u)); *)
+                 Log.warn (P.sprintf "[%u] %s" i (U.string_of_uri u)); 
                  st
            in
 (* stage 2 *)