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.
compile on SML/NJ
authorblanchet
Wed, 15 Sep 2010 10:43:57 +0200
changeset 39385 0049301f7333
parent 39384 76603e40bd4c
child 39386 fcbb3bb3ebe2
compile on SML/NJ
src/Tools/Metis/metis.ML file | annotate | diff | comparison | revisions 
--- a/src/Tools/Metis/metis.ML	Wed Sep 15 10:26:09 2010 +0200
+++ b/src/Tools/Metis/metis.ML	Wed Sep 15 10:43:57 2010 +0200
@@ -179,7 +179,7 @@
 (* Pointer equality using the run-time system.                               *)
 (* ------------------------------------------------------------------------- *)
 
-fun pointerEqual (x : 'a, y : 'a) = PolyML.pointerEq(x,y);
+fun pointerEqual (x : 'a, y : 'a) = pointer_eq (x, y) (* MODIFIED by Jasmin Blanchette *)
 
 (* ------------------------------------------------------------------------- *)
 (* Timing function applications.                                             *)
isabelle