src/Tools/Metis/metis.ML

   fun range NONE NONE = "Z"
     | range (SOME i) NONE = "{n IN Z | " ^ Int.toString i ^ " <= n}"
     | range NONE (SOME j) = "{n IN Z | n <= " ^ Int.toString j ^ "}"
     | range (SOME i) (SOME j) =
     "{n IN Z | " ^ Int.toString i ^ " <= n <= " ^ Int.toString j ^ "}";
-  fun oLeq (SOME (x:int)) (SOME y) = x <= y | oLeq _ _ = true;
+  fun oLeq (SOME (x: int)) (SOME y) = x <= y | oLeq _ _ = true;
   fun argToInt arg omin omax x =
     (case Int.fromString x of
        SOME i =>
        if oLeq omin (SOME i) andalso oLeq (SOME i) omax then i else
          raise OptionExit