# HG changeset patch
# User wenzelm
# Date 1186151305 -7200
# Node ID e4fbf438376dfc988ee165d4332858312ec3e96b
# Parent  c6402b61d44a9bd076530a699b8876541aa0522c
added int type constraint to accomodate hacked SML/NJ (backported change in generated metis.ML);

diff -r c6402b61d44a -r e4fbf438376d src/Tools/Metis/src/Options.sml
--- a/src/Tools/Metis/src/Options.sml	Fri Aug 03 16:28:24 2007 +0200
+++ b/src/Tools/Metis/src/Options.sml	Fri Aug 03 16:28:25 2007 +0200
@@ -47,7 +47,7 @@
     | 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) (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 =>