src/Tools/Metis/src/Options.sml

 
     val alignment =
         [{leftAlign = true, padChar = #"."},
          {leftAlign = true, padChar = #" "}]
 
-    val table = alignTable alignment (map listOpts options)
+    val table = alignTable alignment (List.map listOpts options)
   in
     header ^ join "\n" table ^ "\n" ^ footer
   end;
 
 (* ------------------------------------------------------------------------- *)