Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
added int type constraints to accomodate hacked SML/NJ;
authorwenzelm
Thu, 02 Aug 2007 22:43:47 +0200
changeset 24135 e7fb7ef2a85e
parent 24134 6e69e0031f34
child 24136 0c6c943d8f1e
added int type constraints to accomodate hacked SML/NJ;
src/HOL/Matrix/cplex/fspmlp.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Matrix/cplex/fspmlp.ML	Thu Aug 02 22:16:49 2007 +0200
+++ b/src/HOL/Matrix/cplex/fspmlp.ML	Thu Aug 02 22:43:47 2007 +0200
@@ -41,7 +41,7 @@
 
 datatype bound_type = LOWER | UPPER
 
-fun intbound_ord ((i1, b1),(i2,b2)) =
+fun intbound_ord ((i1: int, b1),(i2,b2)) =
     if i1 < i2 then LESS
     else if i1 = i2 then
         (if b1 = b2 then EQUAL else if b1=LOWER then LESS else GREATER)
isabelle