diff -r 2c75267e7b8d -r fcfd07f122d4 src/Tools/Metis/src/problems.sml
--- a/src/Tools/Metis/src/problems.sml	Thu Mar 24 17:49:27 2011 +0100
+++ b/src/Tools/Metis/src/problems.sml	Thu Mar 24 17:49:27 2011 +0100
@@ -22,7 +22,7 @@
   fun mkProblem collection description (problem : problem) : problem =
       let
         val {name,comments,goal} = problem
-        val comments = if null comments then [] else "" :: comments
+        val comments = if List.null comments then [] else "" :: comments
         val comments = "Description: " ^ description :: comments
         val comments = mkCollection collection :: comments
       in
@@ -33,7 +33,7 @@
       Useful.mem (mkCollection collection) comments;
 
   fun mkProblems collection description problems =
-      map (mkProblem collection description) problems;
+      List.map (mkProblem collection description) problems;
 end;
 
 (* ========================================================================= *)